Non-empty set


non-empty set is a set.