for S, T being Semilattice
for f being Function of S,T st f is infs-preserving holds
f is SemilatticeHomomorphism of S,T