El elemento neutro o elemento identidad de un conjunto A, dotado de una operación binaria interna
Un elemento e que cumpla solamente
se llama elemento neutro por la izquierda.
Análogamente un elemento f que cumple solamente
No tienen que ser iguales dichos elementos, salvo el caso de un grupo.