theorem Th50: :: WAYBEL21:50

for T being continuous complete Lawson TopLattice
for S being non empty full infs-inheriting directed-sups-inheriting SubRelStr of T ex X being Subset of T st
( X = the carrier of S & X is closed )