inhabited

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

English[edit]

Pronunciation[edit]

  • IPA(key): /ɪnˈhæbɪtɪd/
  • (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]