Cartesian product
という集合であり、 という直積集合は、