adjective

• Having inhabitants; lived in.
• (mathematics, of a set) Containing at least one element.
• (type theory, of a type) Having a term.
• Obsolete form of uninhabited. [Not inhabited; having no inhabitants.]