for G1, G2 being Group
for f being Homomorphism of G1,G2 holds FuncLatt f is sup-Semilattice-Homomorphism of (lattice G1),(lattice G2)