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