부분 순서 집합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글편집 요약 없음 |
잔글 봇: 인용 틀 구식 변수 정리 |
||
12번째 줄:
* ([[추이적 관계]]) 임의의 <math>x,y,z\in X</math>에 대하여, <math>x<y<z</math>라면 <math>x<z</math>
* ([[비대칭 관계]]) 임의의 <math>x,y\in X</math>에 대하여, <math>x<y</math>라면 <math>y\not<x</math>
이들 가운데 비대칭 관계 조건은 나머지 조건들로부터 유도 가능하다.<ref>{{서적 인용|language=en|last1=Flaška|first1=V.|last2=Ježek|first2=J.|last3=Kepka|first3=T.|last4=Kortelainen|first4=J.|title=Transitive Closures of Binary Relations I|year=2007|publisher=School of Mathematics - Physics Charles University|location=Prague|page=1|url=http://www.karlin.mff.cuni.cz/~jezek/120/transitive1.pdf?|확인날짜=2013년 8월 20일|보존url=https://web.archive.org/web/20131102214049/http://www.karlin.mff.cuni.cz/~jezek/120/transitive1.pdf|보존날짜=2013년 11월 2일|
부분 순서 <math>\le\subseteq X^2</math>가 주어졌을 때, 다음과 같이 정의한 이항 관계 <math><\subseteq X^2</math>는 절대 부분 순서이다.
| |||