임의의 두 원소를 비교할 수 있는 부분 순서 집합
순서론에서, 전순서 집합(全順序集合, )는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이다. 원순서 집합 이 다음 조건을 만족시킨다면, 원전순서 집합(原全順序集合, , , )이라고 한다. 즉, 두 원소가 항상 비교 가능한 원순서 집합이다. 전순서 집합(全順序集合, , )은 원전순서 집합인 부분 순서 집합 이다. 즉, 이항 관계 는 다음 세 조건을 만족시킨다.
전순서 집합이 뭐야
전순서 집합