Encyclopedia > I > Inhabited set
Inhabited set
A set A is called inhabited if there exists an element ain A. Note that in classical mathematics this is equivalent to Aneqemptyset (A being nonempty), yet in intuitionistic mathematics we actually have to find an element ain A..
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)