set-theory Definition Non-Empty Set A set S is non-empty if it contains at least one element: ∃x: x∈S.