In mathematics, an algebraic structure or algebraic system consists of a nonempty set A, a collection of operations on A, and a finite set of identities that these operations must satisfy.