Axiom of Pair

집합론의 공리이다. 비정렬쌍 공리(Axiom of Unordered Pair)라고도 한다.

목차

1. 형식적 진술
2. 참고 문헌

1. 형식적 진술 ✎ ⊖

짝의 공리는 다음과 같이 진술된다.
\\forall A \\forall B \\exists C\\forall x[x\\in C \\Longleftrightarrow (x=A \\vee x=B)]

2. 참고 문헌 ✎ ⊖

  • Hrbacek and Jech, 1999. Introduction to Set Theory, Third Edition, Revised and Expanded. CRC Press. ISBN 0824779150.

이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.