El par (G,formula_6) representa a un conjunto, no necesariamente numérico, al que denotamos con G (de grupo) y un operador interno general «formula_6», que no implica que sea una operación aritmética al uso, también podría significar una sustitución, una rotación, un giro, una trasposición, etc.