至多可數集集合若有限或存在到自然數的明示單射，則為至多可數；不等同可數無限。atlas-at-most-countable-set · canonical_mko至多可數集前置節點集合基數比較自然數單射與不同輸入的辨識滿射與陪域覆蓋