An algebra or model for an algebraic theory consists of a set $ X $ together with a specified map $ X^n \to X $ for each operation of arity $ n $ , such that the equations hold everywhere. For example, an algebra for the theory of groups is exactly a group.