Non-Empty Set

A non-empty set is a set with one or more set members.

• AKA: Non-Empty, Nonempty Set, One-or-More Relation.
• Context:
  • Its Set Cardinality is >= One.
• Example(s):
  • a Degenerate Set, such as {1}.
  • a Sigma Field.
  • a Formal Language.
  • a Non-Empty Number Set, such as a non-empty integer set.
  • …
• Counter-Example(s):
  • {}, Empty Set.
  • "", Empty String.
  • (1,1), Empty Interval.
  • Two-or-More Relation.
• See: Finite Set, Non-Empty Subset Relation.

---