A magma is a set together with a binary operation on this set. (For questions about the computer algebra system named Magma, use the [magma-cas] tag instead.)

A magma (also called groupoid) is a set $M$ together with a binary operation $M\times M\to M$.

For questions about the Magma computer algebra system, use the tag magma-cas.