集合基數比較明示source與target間的單射、滿射、雙射分別提供有限集合基數比較證書。atlas-cardinality-comparison · canonical_mko集合基數比較前置節點單射與不同輸入的辨識滿射與陪域覆蓋雙射與唯一原像集合