theorem Th22: :: WAYBEL30:22

for N being complete Lawson meet-continuous TopLattice st InclPoset (sigma N) is continuous holds
N is topological_semilattice