inhabited

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

• Audio (Southern England):

  (file)

• Hyphenation: in‧hab‧it‧ed

inhabited

1. Having inhabitants; lived in.

   Synonyms: peopled, populated, tenanted

   Antonyms: uninhabited; see also Thesaurus:uninhabited

2. (mathematics, of a set) Containing at least one element.
3. (type theory, of a type) Having a term.

   Antonym: uninhabited

   • 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.

   Synonyms: deserted, peopleless; see also Thesaurus:uninhabited

   • 1614, Richard Brathwait, A Survey of History:

     Others […] have frequented desarts and inhabited provinces.