Unit element
Set
context
$\langle M,* \rangle$ … magma
definiendum
$e \in$ it
postulate
$e*a=a*e=e$
Reference
Wikipedia:
Magma
Requirements
Magma