#set  (mathematics) an abstract collection of numbers or symbols; "the set of prime numbers is infinite"
  supertype:  pm#collection (pm)  something gathering separated things (entities/situations)
  subtype:  #interval  a set containing all points (or all real numbers) between two given endpoints
     subtype:  #closed_interval__bounded_interval__boundedinterval  an interval that includes its endpoints
     subtype:  #open_interval__unbounded_interval__unboundedinterval  an interval that does not include its endpoints
     subtype:  #sub-interval__subinterval  an interval that is included in another interval
  subtype:  #mathematical_group__group  a set that is closed, associative, has an identity element and every element has an inverse
     subtype:  #subgroup.mathematical_group  (mathematics) a subset (that is not empty) of a mathematical group
     subtype:  #Abelian_group__commutative_group__commutativegroup  a group that satisfies the commutative law
  subtype:  #locus__locu  the set of all points or lines that satisfy or are determined by specific conditions; "the locus of points equidistant from a given point is a circle"
  subtype:  #subset  a set whose members are members of another set; a set contained within another set
  subtype:  #null_set  a set that is empty; a set with no members
  subtype:  #topological_space__topologicalspace__space  (mathematics) any set of points that satisfy a set of postulates of some kind; "assume the vector space is finite dimensional"
     subtype:  #subspace  a space that is contained within another space
     subtype:  #null_space  a space that contains no points; and empty space
     subtype:  #metric_space  a set of points such that for every pair of points there is a nonnegative real number called their distance that is symmetric and satisfies the triangle inequality
        subtype:  #Euclidean_space  a space in which Euclid's axioms and definitions apply; a metric space that is linear and finite-dimensional
        subtype:  #Hilbert_space  a metric space that is linear and complete and (usually) infinite-dimensional
  subtype:  #field.set  (mathematics) a set of elements such that addition and multiplication are commutative and associative and multiplication is distributive over addition and there are two elements 0 and 1; "the set of all rational numbers is a field"
     subtype:  #scalar_field  a field of scalars
  subtype:  #solution.set__root  the set of values that give a true statement when substituted into an equation
  subtype:  #diagonal  (mathematics) a set of entries in a square matrix running diagonally either from the upper left to lower right entry or running from the upper right to lower left entry
  subtype:  #domain  the set of values of the independent variable for which a function is defined
  subtype:  #geometric_intersection__geometricintersection__intersection  a point or set of points common to two or more geometric configurations

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