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

3 바이트 제거됨 ,  4년 전
잔글
잔글 (→‎정의)
* 다음 조건을 만족시키는 열 <math>(x_i)_{i=0}^\infty\subseteq X</math>이 존재하지 않는다.
** 임의의 <math>i\in\mathbb N</math>에 대하여, <math>(x_{i+1},x_i)\in R</math>
* ([[모스토프스키 붕괴 정리]]) 다음 조건을 만족시키는 [[집합]] <math>M</math>과 [[전단사단사 함수]] <math>j\colon X\to M</math>가 존재한다.
** 임의의 <math>x,y\in X</math>에 대하여, <math>(x,y)\in R\iff j(x)\in j(y)</math>
* ([[모스토프스키 붕괴 정리]]) 다음 조건을 만족시키는 [[추이적 집합]] <math>M</math>과 [[전단사 함수]] <Math>j\colon X\to M</math>가 유일하게 존재한다.