non-empty       
adjective  mathematics specialized (also nonempty) uk/ˌnɒnˈemp.ti/ us/ˌnɑːnˈemp.ti/
 非空的
A non-empty set is one which contains at least one member.
  Let X be any non-empty set of variables. 假设X是任何非空的变量集。 
 When can a non-empty set M of real numbers be said to be unbounded?
 - More examples
 - Any simple cycle encloses a nonempty subset of these faces and is identified by this subset.
 - In order to avoid any inconsistencies, the team identified that every type has to be non-empty.
 - The idea of a group depends on the ideas of a non-empty set, a binary operation, and an axiom.