theorem Th35: :: WAYBEL19:35

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