formula_128 es el producto cartesiano de los Reales consigo mismo.