策梅洛-弗兰克尔集合论 的公理断言,对于任何集合 和
,存在一个集合
,其仅有的元素为
和
。
被称为
和
的无序对,表示为
。该公理可以用符号表示为
无序对公理
另请参阅
策梅洛-弗兰克尔集合论使用 探索
参考文献
Itô, K. (编). "策梅洛-弗兰克尔集合论。" §33B in 数学百科全书,第二版,卷 1。 Cambridge, MA: MIT Press, pp. 146-148, 1986.在 中被引用
无序对公理请这样引用
Eric W. Weisstein. "无序对公理。" 来自 --一个 资源。 https://mathworld.net.cn/AxiomoftheUnorderedPair.html