 Terminal morphisms.For each group "X", the group "FGX" is the free group generated freely by "GX", the elements of "X".Let  formula_85  be the group homomorphism which sends the generators of "FGX" to the elements of "X" they correspond to, which exists by the universal property of free groups.