The above property characterizes free groups up to isomorphism, and is sometimes used as an alternative definition.
Being characterized by a universal property is the standard feature of free objects in universal algebra.