Inhabited set

In constructive mathematics, a set A is inhabited if there exists an element . In classical mathematics, this is the same as the set being nonempty; however, this equivalence is not valid in intuitionistic logic.