Definition (S,⋅) An algebraic structure consisting of a set together with an associative binomial operation on it.