theorem Th29: :: WAYBEL23:29

for L being Semilattice
for S being meet-closed Subset of L holds S is filtered