A Groupoid

1. (algebra) A magma: a set with a total binary operation. Groupoid - Wikipedia
2. (algebra and category theory) A set with a partial binary operation that is associative and has identities and inverses.