theorem :: WAYBEL30:36

for N being complete Lawson continuous TopLattice holds
( N is compact & N is Hausdorff & N is topological_semilattice & N is with_open_semilattices )