一个集合是有穷的当且仅当和某个自然数等势.