Statistics How To

Nonempty Set

Share on

Probability >

A nonempty set is a set with at least one element. It is sometimes called a nonvoid set.

In math, a set is defined as a collection of distinct mathematical objects in which multiplicity matter doesn’t matter. What that means is that every unique element is counted exactly once, and a set is defined by its members. A set may be ordered or unordered.

We define a set S as nonempty if S ≠ ∅

If a nonempty set has exactly one element, it is called a singleton step.

Importance of Nonempty Set

It is important in many proofs and equations that a set be nonempty, since computing with empty sets—just like doing arithmetic with 0—can lead to erratic or nonsensical results. Nonempty sets also form the basis of groups, a very important concept in set theory and topology.

Examples of Nonempty Sets

Any grouping of elements which satisfies the properties of a set and which has at least one element is an example of a non-empty set, so there are many varied examples.

The set S= {1} with just one element is an example of a nonempty set. S so defined is also a singleton set.

The set S = {1,4,5} is a nonempty set.

The set of all real numbers is another example of a nonempty set. It contains an infinite number of elements, so it has more than one element and satisfies our definition.


Weisstein, Eric W. “Nonempty Set.” From MathWorld–A Wolfram Web Resource. Retrieved from on August 19, 2018.
Definition: Non-empty Set. From Proof-Wiki. Retrieved from on August 23,2018.
Wang, Ka Lun. Teaching Notes 1: Sets. University of Hawaii Department of Math. Retrieved from on August 23, 2018.

Stephanie Glen. "Nonempty Set" From Elementary Statistics for the rest of us!

Need help with a homework or test question? With Chegg Study, you can get step-by-step solutions to your questions from an expert in the field. Your first 30 minutes with a Chegg tutor is free!

Comments? Need to post a correction? Please post a comment on our Facebook page.