inhabited

Etymology

adj

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

Attribution / Disclaimer All definitions come directly from Wiktionary using the Wiktextract library. We do not edit or curate the definitions for any words, if you feel the definition listed is incorrect or offensive please suggest modifications directly to the source (wiktionary/inhabited), any changes made to the source will update on this page periodically.