Se dice que "F" es un grupo libre sobre "S" respecto de "i" si para todo grupo y toda función "f": "S" → "G" existe un único homomorfismo φ: "F" → "G" tal que