Inhabited set

In mathematics, a set ${\displaystyle A}$ is inhabited if there exists an element ${\displaystyle a\in A}$.

In classical mathematics, the property of being inhabited is equivalent to being non-empty. However, this equivalence is not valid in constructive or intuitionistic logic, and so this separate terminology is mostly used in the set theory of constructive mathematics.