Bisogna provar che sta operasión ła xe ben definia, e che ła ga a che far co e sequense co-Cauchy.