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
engagement: the act of sharing in the activities of a group