Pemetaan

Pemetaan adalah operasi memetakan elemen2 dari sebuah himpunan ke elemen2 himpunan yang lain. Umumnya pemetaan dikategorikan menjadi tiga: injektif(satu ke satu), surjektif(onto), dan bijektif(injektif + surjektif). Relasi dari sebuah himpunan adalah sub-himpunan(himpunan bagian) dari kuadrat himpunan itu sendiri. Setiap klas ekivalen adalah elemen2 dari himpunan yang saling berelasi secara ekivalen. Himpunan dari klas2 ekivalen, yang diwakili oleh salah satu elemennya, membentuk sebuah himpunan yang disebut quotient space.