Non-Empty Set

Definition

Non-Empty Set

A set $S$ is non-empty if it contains at least one element:

$$\exists x:x\in S.$$