let N be complete Lawson meet-continuous TopLattice; :: thesis: for x being Element of N holds x "/\" is continuous

let x be Element of N; :: thesis: x "/\" is continuous

for X being non empty Subset of N holds x "/\" preserves_inf_of X by YELLOW13:11;

hence x "/\" is continuous by WAYBEL21:45; :: thesis: verum

let x be Element of N; :: thesis: x "/\" is continuous

for X being non empty Subset of N holds x "/\" preserves_inf_of X by YELLOW13:11;

hence x "/\" is continuous by WAYBEL21:45; :: thesis: verum