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

77 바이트 추가됨 ,  4년 전
잔글
편집 요약 없음
(정렬 원순서 집합에서 분리. 내용 보충)
 
잔글
[[원순서 집합]] <math>(X,\lesssim)</math>에 대하여 다음 두 조건이 서로 [[동치]]이다.<ref>{{저널 인용|성=Forster|이름=Thomas|날짜=2003|제목=Better-quasi-orderings and coinduction|저널=Theoretical Computer Science|권=309|호=1–3|쪽=111–123|doi=10.1016/S0304-3975(03)00131-2|언어=en}}</ref>{{rp|116, Remark 5}}
* <math>(X,\lesssim)</math>는 [[정렬 원순서 집합]]이다.
* <math>\mathcal P(X)</math> 위의 [[원순서]] <math>S\lesssim^\star T\iff(T\ne S\subseteq\downarrow T)</math>를 정의하였을 때, [[이항 관계]] <math>S\prec^\star T\iff S\lesssim^\star T\not\lesssim^\star S</math>는 정초 관계이다. (여기서 <math>\downarrow</math>는 [[하집합|하폐포]]를 뜻한다.)
 
== 참고 문헌 ==