Cartesian product
집합 formula_2 위의 자유 formula_1-집합은 곱집합 formula_156이며, 그 위의 작용은