If it is finite and nonempty, then it must contain at least one idempotent.
如果它是有限和非空的，则它必须包含至少一个幂等元。
youdao
应用推荐
模块上移
模块下移
不移动