subgroupoid

English

Etymology

From sub- +‎ groupoid.

Noun

subgroupoid (plural subgroupoids)

  1. (mathematics) A subset of a groupoid closed under inversion and composition.