Algebraic structure with an operation that is both associative and commutative.