Cartesian product
たとえば、 という直積集合は、