Una definición diferente del grupo libre en un conjunto "S" es la siguiente: