donde "F(E)" es el grupo libre con base libre "E", sujeto a las siguientes relaciones: