noun
Definition: A mathematical structure that consists of a set equipped with a binary operation that may not be defined for all pairs of elements, but is associative and includes identities and inverses.
Example: In category theory, a groupoid is used to study symmetries and transformations.