subgroupoid

/S AH0 B G R UW1 P OY0 D/
noun
  1. 1

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