sumo#set__bag  a set_or_class that satisfies extensionality as well as other constraints specified by some choice of set theory; sets differ from classes in two important respects: 1) sets are extensional (two sets with the same elements are identical), 2) a set can be an arbitrary stock of objects, i.e. there is no requirement that sets have an associated condition that determines their membership; note that sets are not assumed to be unique sets, i.e. elements of a set may occur more than once in the set
  closed_exclusion:  sumo#class
  supertype:  sumo#set_or_class  the "set_or_class" of "sets" and "classes", i.e. any "instance" of "abstract" that has "elements" or "instances"
  subtype:  dl#set

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


Another search (with same display options)?