n. a set endowed with an associative binary operation, usually called addition, under which it is closed. Compare monoid, groupoid.