Magma

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