Se deduce inmediatamente de esta definición que si ("F", "i") y ("F", "i") son dos grupos libres sobre "S", existe un único isomorfismo φ: "F" → "F" tal que