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.