let f be SemilatticeHomomorphism of S,T; :: thesis: f is meet-preserving
let x, y be Element of S; :: according to WAYBEL_0:def 34 :: thesis: f preserves_inf_of {x,y}
thus f preserves_inf_of {x,y} by Def1; :: thesis: verum