Definition of "inhabited"

inhabited

/ɪnˈhæbɪtɪd/

adjective
1. Having inhabitants; lived in.
2. (mathematics, of a set) Containing at least one element.
3. (type theory, of a type) Having a term.
  Quotations
  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.
  Quotations
  Others […] have frequented desarts and inhabited provinces.
  1614, Richard Brathwait, A Survey of History