Finite Nonempty Set

A Finite Nonempty Set is a Finite Set that is a Nonempty Set.

• • …
• Counter-Example(s):
  • an Infinite Set.
  • an Empty Set.
• See: Set Count.

---

---