theorem Th30: :: WAYBEL30:30

for N being complete Lawson TopLattice holds
( N is continuous iff ( N is meet-continuous & N is Hausdorff ) )