Misalkan relasi ekuivalensi pada . Himpunan kuosien adalah himpunan semua kelas ekuivalensi; surjeksi , , disebut proyeksi kanonik.
Sifat universal (pemfaktoran): jika selaras dengan (yaitu ), maka terdapat tepat satu pemetaan dengan .
书籍暂未推出简体中文版——当前显示 Bahasa Indonesia 版。
Matematika · 术语表
又称: proyeksi kanonik
Misalkan relasi ekuivalensi pada . Himpunan kuosien adalah himpunan semua kelas ekuivalensi; surjeksi , , disebut proyeksi kanonik.
Sifat universal (pemfaktoran): jika selaras dengan (yaitu ), maka terdapat tepat satu pemetaan dengan .