Algebraicamente hablando, el opuesto de un elemento de un grupo es su elemento simétrico respecto de la operación binaria "formula_7" (cuando se usa la notación aditiva).