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