algebra Definition Neutral Element A neutral element of a relation over a set is an element satisfying The existence of such an is the property of unitality.