什么是 nonempty？ 什么是 nonempty？ Not empty, containing something.Describing a set that contains at least one element and is therefore distinct from the empty set.