subgroup: (mathematics) a subset (that is not empty) of a mathematical group
group: a set that is closed, associative, has an identity element and every element has an inverse
mason bee: any of numerous solitary bees that build nests of hardened mud and sand