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