theorem Th27: :: WAYBEL28:27

for L being complete LATTICE
for U1 being Subset of L st U1 in xi L holds
U1 is property(S)