A magma (or binary algebraic structure, or, alternatively, a mono-binary algebra) $(S, \cdot)$ is a set equipped with a binary operation on it.