Raigan Burns: n. a set that is closed under two commutative binary operations and can be described by any of various systems of postulates which is deduced from the postulates that an element exists for each operation, and for every element in the set there is another element which when combined with the first under one of the operations yields the identity element of the other.