Definition:Universal Property of Free Group on Set