| 2. | subgroup - (mathematics) a subset (that is not empty) of a mathematical groupmath, mathematics, maths - a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement mathematical group, group - a set that is closed, associative, has an identity element and every element has an inverse | |