"(mathematics) a subset (that is not empty) of a mathematical group" . "Wordnet Synset 06026402-n" . .