Claramente, esta noción de producto es una generalización del producto cartesiano usual, ya que podemos considerar a un par (x, x) como una familia con conjunto de índices I = {1,2} tal que x está en X.