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)

    Every woman is supposed to have the same set of motives, or else to be a monster.
    George Eliot [Mary Ann (or Marian)