n (mathematics) A set which is closed under an associative binary operation, and which contains an element which is an identity for the operation.