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:
“From top to bottom of the ladder, greed is aroused without knowing where to find ultimate foothold. Nothing can calm it, since its goal is far beyond all it can attain. Reality seems valueless by comparison with the dreams of fevered imaginations; reality is therefore abandoned.”
—Emile Durkheim (1858–1917)
“It is comparison than makes people miserable.”
—Chinese proverb.
“The believing mind reaches its perihelion in the so-called Liberals. They believe in each and every quack who sets up his booth in the fairgrounds, including the Communists. The Communists have some talents too, but they always fall short of believing in the Liberals.”
—H.L. (Henry Lewis)