groupoid
Short definition from Wiktionary
Noun
- A magma: a set with a total binary operation.
- A set with a partial binary operation that is associative and has identities and inverses.
We haven’t written up groupoid yet: Simple and Standard meanings, examples and a quiz.