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.

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.