非空子集（合）

nonempty subset【数】

nonempty closed set【数】

finite nonempty set

nonempty binary tree【计】

finite nonempty set【数】

nonempty list【计】

nonempty finite string【计】

nonempty finite subset【数】