Neutral Element

An element $e:A$ is a neutral element wrt a binary operator $\ast$ iff $e\ast a=a\ast e=a\forall a:A$. Note that a neutral element if it exists is necessarily unique.