A Magma is an [[Algebraic Structure|Algebraic System]] composing of an [[Underlying Set|underlying set]] $S$ and a [[Binary Operation|binary operation]] $*$