策梅洛-弗蘭克爾集合論 的公理斷言,對於任何集合 和
,存在一個集合
,其僅有的元素為
和
。
被稱為
和
的無序對,表示為
。該公理可以用符號表示為
無序對公理
另請參閱
策梅洛-弗蘭克爾集合論使用 探索
參考文獻
Itô, K. (編). "策梅洛-弗蘭克爾集合論。" §33B in 數學百科全書,第二版,卷 1。 Cambridge, MA: MIT Press, pp. 146-148, 1986.在 中被引用
無序對公理請這樣引用
Eric W. Weisstein. "無序對公理。" 來自 --一個 資源。 https://mathworld.tw/AxiomoftheUnorderedPair.html