Definition:Non-Empty


 * Non-empty set
 * Non-empty class

Also see

 * Definition:Empty