사전식 순서

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

사전식 순서(辭典式 順序, Lexicographical order)는 일반적으로 사전에 쓰이는 가나다순이나 알파벳순의 정렬방법이다. 주로 수학집합론이나 순서론, 전산학등의 분야에서 사용된다.

정의[편집]

부분순서집합 AB곱집합 A \times B에 대하여, a, x \in A 이고 b, y \in B 일 때,

  1. a < x
  2. a = x인 경우 b \leq y

(a,b) \leq (x,y)로 정의하면 곱집합 A \times B도 부분순서집합이 된다. 만약 AB완전순서집합이면 곱집합 A \times B도 완전순서집합이다.