 Let  formula_83  be the set map given by "inclusion of generators".This is an initial morphism from "Y" to "G", because any set map from "Y" to the underlying set "GW" of some group "W" will factor through  formula_83  via a unique group homomorphism from "FY" to "W".This is precisely the universal property of the free group on "Y".