Noun
subgroupoid (plural subgroupoids) (mathematics) A subset of a groupoid closed under inversion and composition.