Nil element
From Groupprops
This article defines a property of elements or tuples of elements with respect to a binary operation
Definition
An element in a magma
is termed a:
- left nil element if
for all
.
- right nil element if
for all
.
- nil element if it is both a left nil element and a right nil element.
If both a left nil and a right nil exist, they are equal. For full proof, refer: Equality of left and right nil element