theorem Th21: :: WAYBEL30:21

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