Inhabited Set

Inhabited Set

In constructive mathematics, a set A is inhabited if there exists an element . In classical mathematics, this is the same as the set being nonempty; however, this equivalence is not valid in intuitionistic logic.

Read more about Inhabited Set:  Comparison With Nonempty Sets, Example

Famous quotes containing the words inhabited and/or set:

    This was the most completely maritime town that we were ever in. It was merely a good harbor, surrounded by land, dry if not firm,—an inhabited beach, whereon fishermen cured and stored their fish, without any back country.
    Henry David Thoreau (1817–1862)

    Parenthood always comes as a shock. Postpartum blues? Postpartum panic is more like it. We set out to have a baby; what we get is a total take-over of our lives.
    Polly Berrien Berends (20th century)