adj.[数]非空的
If it is finite and nonempty, then it must contain at least one idempotent. 如果它是有限和非空的，则它必须包含至少一个幂等元。
