The assertion that a set is
Non-empty is frequently found in mathematical hypotheses. The reason is that we can easily make logical errors when we make hypotheses about the [Empty Set]
?. Since it has no members, we cannot verify assertions by contradiction.