Cartesian product
formula_1가 정렬 집합이며, 각 formula_2에 대하여 formula_3가 부분 순서 집합이라고 하자. 그렇다면 곱집합