Magma (algebra)
Algebraic structure with a binary operation / From Wikipedia, the free encyclopedia
This article is about the algebraic structure. For groupoids in category theory, see Groupoid. For other uses, see Magma (disambiguation).
In abstract algebra, a magma, binar,[1] or, rarely, groupoid is a basic kind of algebraic structure. Specifically, a magma consists of a set equipped with a single binary operation that must be closed by definition. No other properties are imposed.