theorem :: WAYBEL30:23

for N being complete Lawson meet-continuous TopLattice st InclPoset (sigma N) is continuous holds
( N is Hausdorff iff for X being Subset of [:N,N:] st X = the InternalRel of N holds
X is closed )