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