subgroupoid

Noun

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