la definición de la medida producto nos asegura que todas las funciones de esta forma son cuadrado-integrables, así que ésta define una función bilineal de L²("X") × L²("Y") → L²("X" × "Y").