theorem Th40: :: WAYBEL30:40

for N being complete Lawson meet-continuous TopLattice holds
( N is algebraic iff ( N is with_open_semilattices & InclPoset (sigma N) is algebraic ) )