for N being complete Lawson meet-continuous TopLattice
for x being Element of N holds x "/\" is continuous