En matemáticas, y particularmente en álgebra abstracta, el elemento neutro o elemento
identidad de un conjunto A, dotado de una operación binaria interna: es un elemento e del conjunto A, tal que para cualquier otro elemento a de A, se cumple: Wikipedi