Cartesian product
정렬 원순서 집합들의 유한 족 formula_56이 주어졌다고 하자. 그렇다면, 곱집합 formula_60 위에 순서