Coba jelasin Definisi dari Bentuk kanonik dong

Diberikan himpunan S objek dengan relasi ekuivalen R pada S, sebuah bentuk kanonik diberikan dengan menunjuk beberapa objek S menjadi "dalam bentuk kanonik", sedemikian rupa sehingga setiap objek yang dipertimbangkan setara dengan tepat satu objek dalam bentuk kanonik. Dengan kata lain, bentuk-bentuk kanonik dalam “S” mewakili kelas-kelas ekuivalen yang hanya sekali. Untuk menguji apakah dua objek ekuivalen, maka cukup menguji kesetaraan pada bentuk kanoniknya.

Sebuah bentuk kanonik dengan demikian menyediakan teorema klasifikasi dan sebagainya, dalam hal ini tidak hanya mengklasifikasikan setiap kelas, tetapi juga memberikan perbedaan (kanonik) perwakilan untuk setiap objek di kelas.

Secara formal, kanonikalisasi sehubungan dengan suatu relasi ekuivalensi R pada suatu himpunan S merupakan pemetaan c:S→S sehingga untuk semua s, s1, s2 ∈ S: