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.