theorem Th40: :: WAYBEL19:40

for T being complete continuous Lawson TopLattice
for x being Element of T holds
( wayabove x is open & (wayabove x) ` is closed )