Comparison With Nonempty Sets
In classical mathematics, a set is inhabited if and only if it is not the empty set. These definitions diverge in constructive mathematics, however. A set A is nonempty if it is not empty, that is, if
It is inhabited if
In intuitionistic logic, the negation of a universal quantifier is weaker than an existential quantifier, not equivalent to it as in classical logic.
Read more about this topic: Inhabited Set
Famous quotes containing the words comparison with, comparison and/or sets:
“Certainly there is not the fight recorded in Concord history, at least, if in the history of America, that will bear a moment’s comparison with this, whether for the numbers engaged in it, or for the patriotism and heroism displayed.”
—Henry David Thoreau (1817–1862)
“Envy and jealousy are the private parts of the human soul. Perhaps the comparison can be extended.”
—Friedrich Nietzsche (1844–1900)
“And weren’t there special cemetery flowers,
That, once grief sets to growing, grief may rest:
The flowers will go on with grief awhile,
And no one seem neglecting or neglected?
A prudent grief will not despise such aids.”
—Robert Frost (1874–1963)