可以建立从乙到甲的满射，但是反之则不行，则甲比乙多。
【 在 gtgtjing 的大作中提到: 】
: 先定义多
--
FROM 111.9.5.*