Cartesian product
곱집합 formula_42에 사전식 순서를 주자. 그렇다면 순서수의 곱 formula_43는 formula_42의 순서형이다.