#subset #subgroup #part of group #included in #smaller set