n (algebra) One or more sets together with a set of operations such that the sets are closure|closed under the operations and are satisfying some axioms.