곱집합
전순서 집합들의 족 formula_36이 주어졌으며, formula_19 위에 정렬 순서가 주어졌을 때, 곱집합 formula_38 위에 사전식 순서라는 전순서를 부여할 수 있다.