theorem Th29: :: WAYBEL28:29

for L being complete LATTICE
for A being Subset of L st A is upper & A in xi L holds
A in sigma L