Cartesian product
부분 순서 집합의 족 formula_106이 주어졌을 때, 곱집합 formula_107 위에 다음과 같은 부분 순서 formula_2를 정의할 수 있다.