is not empty set
