"정초 관계"의 두 판 사이의 차이

15 바이트 추가됨 ,  4년 전
잔글
편집 요약 없음
잔글
 
== 정의 ==
집합 <math>X</math> 위의 [[이항 관계]] <math>R\subseteq X^2</math>에 대하여 다음 네 조건이 서로 [[동치]]이며, 이를 만족시키는 [[이항 관계]]를 '''정초 관계'''라고 한다.<ref>{{서적 인용|title=Set theory: an introduction to independence proofs|성=Kunen|이름=Kenneth|저자고리=케네스 쿠넌|publisher=North-Holland|날짜=1980|isbn= 978-0-444-86839-8|url=http://store.elsevier.com/Set-Theory-An-Introduction-To-Independence-Proofs/K_-Kunen/isbn-9780444868398/|총서=Studies in Logic and the Foundations of Mathematics|권=102|zbl=0534.03026|mr=597342|issn=0304-3975|언어=en}}</ref>{{rp|98, Definition III.3.1}}
* 임의의 부분 집합 <math>S\subseteq X</math>에 대하여, <math>\forall s\in S\colon (s,m)\not\in R</math>인 <math>m\in S</math>가 존재한다.
* 다음 조건을 만족시키는 열 <math>(x_i)_{i=0}^\infty\subseteq X</math>이 존재하지 않는다.