(n)subgroup(mathematics) a subset (that is not empty) of a mathematical group