初等集合論
定義により、$(A times B) times(C times D)$は、$$ big langle langle a、b rangle、 langle c、dの形式の順序対のすべての順序対のセットです。 rangle
$ {1、2 }、 {2、3 }、 {1、3 } $は互いに素ですが、ペアごとに素ではありません。このページの回答とコメントから明らかなように、「互いに素」という用語はあいまいです-
「自然から実数への写像がそもそも全単射であると仮定することは許されていません」と言うとき、あなたが参照しているのは自然ですo