#group theory #subgroup #quotient #distinct sets