inhabited
adj.-
1 lived in (adj.) B2 Upper Intermediatehaving people or animals living in a place.
occupied by inhabitants; having residents or a population.
ExampleThe island is no longer inhabited because the volcano is dangerous.
ExampleArchaeologists discovered evidence of a previously unknown civilization that inhabited the valley for several centuries before the climate shifted.
-
2 not empty (adj.) C2 Proficiency Technical Mathcontaining at least one item or element.
containing at least one element; specifically used in constructive mathematics to denote a set for which an element can be constructed.
ExampleIn this logic system, we must prove the set is inhabited before we can use it.
ExampleThe proof requires demonstrating that the type is inhabited, thereby ensuring that the corresponding proposition is true within the constructive framework.
UsageIn formal logic, this is often contrasted with 'non-empty' to emphasize the constructive existence of an element.
- non empty