In abstract algebra, a groupoid is a set equipped with a binary operation under which it is closed. Unlike a monoid or a semigroup or a group, there are no other requirements; the operation need not be associative or commutative, there need not be inverses or an identity, and the set may even be empty.

Log in or register to write something here or to contact authors.