Magma

A magma is simply a pair of a set and a binary operator: $(A,\ast :A\text{texttimes}A\to A)$ It is called Unital iff there is a neutral element $e:A$.