inhabited

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Pronunciation

[edit]
  • IPA(key): /ɪnˈhæbɪtɪd/
  • Audio (Southern England):(file)
  • Hyphenation: in‧hab‧it‧ed

Adjective

[edit]

inhabited

  1. Having inhabitants; lived in.
    Antonym: uninhabited
  2. (mathematics, of a set) Containing at least one element.
  3. (type theory, of a type) Having a term.
    • 2012, Martin Hofmann, Extensional Constructs in Intensional Type Theory, Springer Science & Business Media, →ISBN, page 57:
      It is, however, certainly desirable that the above type is inhabited, []
  4. Obsolete form of uninhabited.
    • 1614, Richard Brathwait, A Survey of History:
      Others [] have frequented desarts and inhabited provinces.

Translations

[edit]