Uno debe demostrar que esta operación es bien definida, tratando con secuencias de Co-Cauchy.