The property that a set enjoys when it possesses members. In intuitionistic set theory, that a set is nonempty is distinguished from its constructive counterpart property of being inhabited insofar as a set $S$ can be shown to be nonempty (e.g., by proving that the assumption that $S$ has no members leads to contradiction) without producing a constructive procedure to construct a member of $S$.