Satu urang harus membukti akan bahwa operasi ini terdefinisi dengan baik, berurusan dengan urutan co-Cauchy.