# Tag Info

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