완전 순서

위키백과 ― 우리 모두의 백과사전.

수학에서 집합 X에 대한 완전 순서(total order, linear order, simple order)는 비대칭관계이면서 추이관계이고 완전관계인 이항관계이다. 이는 그러한 이항관계를 ≤라고 표시할 경우 X의 임의의 원소 a, b, c에 대해 다음이 성립함을 의미한다.

  1. 비대칭성: a ≤ b이고 b ≤ a면 a = b
  2. 추이성: a ≤ b이고 b ≤ c이면 a ≤ c
  3. 완전성: 항상 a ≤ b거나 b ≤ a


이 문서는 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해갑시다.