Así, tenemos que toda relación entre los elementos de un grupo pueden expresarse como una palabra de formula_5 para cierto conjunto formula_4.