Synset
a set that is closed, associative, has an identity element and every element has an inverse
<noun.cognition>
group
mathematical group
semantic pointers
hypernym
set
hyponym
subgroup
Abelian group, commutative group