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