theorem Th45: :: YELLOW_2:45

for L being lower-bounded sup-Semilattice
for X being non empty Subset of (Ids L) holds meet X is Ideal of L