两个基本过程 匹配( matching):多少,大小(基数)--双射 {a>{0}=1 {ab}>{0,1}2 {ab,c}→{0,1,2}=3 计数(counting)首尾,先后(序数)--良序 0→)1→>2->3→ a>b C→>b→>a 《集合论与图论》第11讲《集合论与图论》第11讲 2 两个基本过程 匹配(matching): 多少,大小(基数)----双射 {a} → {0}=1 {a,b} → {0,1}=2 {a,b,c} → {0,1,2}=3… 计数(counting): 首尾,先后(序数)----良序 0→1→2→3→… a→b c→b→a ……