곱집합
원순서 집합들의 족 formula_100이 주어졌을 때, 곱집합 formula_101 위에 원순서