Cartesian product
편의를 위해, 집합 formula_6의 0번 곱집합 formula_30은 임의의 한원소 집합 formula_31으로 정의된다. 이 경우, 집합 formula_6 위의 영항 연산