Definition:Subgroupoid