theorem Th36: :: WAYBEL19:36

for T being complete Lawson TopLattice
for A being Subset of T st A is open holds
A is property(S)