Donde "f" debe interpretarse como la función definida sobre "G"x"G" que da un elemento de "G" dando operación de grupo, "x" son signos de variables (puede definirse una colección infinita numerable de las mismas) y "c" es una constante que requiere la teoría que se interpretará como el elemento neutro (es decir, los axiomas postulan que dicho elemento existe).