Wiktionary
subgroupoid
n. (context mathematics English) A subset of a groupoid closed under inversion and composition