for S, T being upper-bounded Semilattice
for f being SemilatticeHomomorphism of S,T holds f . (Top S) = Top T