inhabited

• IPA^(key): /ɪnˈhæbɪtɪd/

• Audio (Southern England)

  (file)

• Hyphenation: in‧hab‧it‧ed

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.