algebra Definition Neutral Element A neutral element e∈S of a relation ∘ over a set S is an element satisfying ∀x∈S:e∘x=x∘e=x. The existence of such an e is the property of unitality.