nonempty

Let X be any non-empty set of variables.

假设X是任何非空的变量集。