我們現在手頭的武器是全部的有理數,所以可以把集合P用全體有理數Q來替代,那麼戴德金切割就成了把全部有理數分成A, B兩半的序對(A, B) ,所以A ∪ B = Q。由於A與B不相交,因此確定了其中一邊也同時確定了另一邊,習慣上我們用序對左邊的集合A來定義實數,稱之為戴德金左集合(Dedekind left set)。也就是說一個實數就是一堆有理數所形成的戴德金左集合,而全體實數就是這些戴德金左集合所形成的集合。
終於把笛卡爾乘積的「真身」找到了,它就是構成A × B的集合形態,把A和B的聯集連續取兩次冪集合之後得到的P (P (A ∪ B))就是以z為元素的笛卡爾乘積。
現在只剩下最後一步確認程序了,那就是P (P (A ∪ B))是否為集合?由於A和B都是集合,所以根據ZF5聯集公設(請參考《公設化集合論的奧秘 (5)》),兩個集合的聯集也是集合,所以A ∪ B是集合沒錯。
-----廣告,請繼續往下閱讀-----
再根據ZF7冪集合公設 (請參考《公設化集合論的奧秘 (7) 》) ,把一個集合X的所有子集蒐集起來所構成的類P(X)也是集合,所以P (A ∪ B) 是集合沒錯。(關於類的概念請參考《公設化集合論的奧秘 (12) 》) 現在讓我們根據ZF7把這個程序再 一次用到P (A ∪ B) 身上,結果發現P (P (A ∪ B)) 也仍然是集合。到此我們可以確定笛卡爾乘積A × B 為集合無誤,定義4完全符合ZF公設的「法定」標準。
就成了。可惜ƒ不是映成函數,因為比如(17, 3)這個序對就不在ƒ的值域(range)裡,因此我們目前無法確定N × N 和N是否等量。但我們觀察到一個令人驚喜的現象,那就是當函數是一對一而沒有映成時,不就表示前面的集合N小於或等於後面的集合N × N嗎?因為不映成表示後面的集合N × N 存在著配對之後剩餘的元素,因此它有可能比前面的集合來得大。