#mathematical_group__group  a set that is closed, associative, has an identity element and every element has an inverse
  subtype:  subgroup.mathematical_group  Abelian_group
  supertype:  set  (mathematics) an abstract collection of numbers or symbols; "the set of prime numbers is infinite"
     supertype:  collection  something gathering separated things (entities/situations)
        supertype:  divisible_entity__divisibleentity  many classifications under this category are application-dependant
           supertype:  entity  something that can be "involved" in a situation
              supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
           supertype:  divisible_thing__divisiblething
              supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

No statement uses or specializes mathematical_group; click here to add one.