부분 순서 집합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 봇: 틀 이름 및 스타일 정리 |
잔글편집 요약 없음 |
||
8번째 줄:
* ([[추이적 관계]]) 임의의 <math>x,y,z\in X</math>에 대하여, <math>x\le y\le z</math>라면 <math>x\le z</math>
* ([[반대칭 관계]]) 임의의 <math>x,y\in X</math>에 대하여, <math>x\le y\le x</math>라면 <math>x=y</math>
집합 <math>X</math> 위의 [[이항 관계]] <math><</math>가 다음 조건들을 만족시키면, 이를 <math>X</math> 위의 '''절대 부분 순서'''(絶對部分順序, {{llang|en|strict partial order}}) 또는 '''순부분 순서'''
* ([[비반사 관계]]) 임의의 <math>x\in X</math>에 대하여, <math>x\not<x</math>
* ([[추이적 관계]]) 임의의 <math>x,y,z\in X</math>에 대하여, <math>x<y<z</math>라면 <math>x<z</math>
|