To‘plamlarni akslantirish va almashtirish Bo`sh bo`lmagan ikki, to`plam berilgan bo`lsin. 1-ta`rif

2-ta`rif. to`plamni to`plamga biror biyektiv akslantirish berilgan va har qanday element uchun bo`lsin. U holda qonuniyat bilan bajarilgan akslantirish uchun teskari akslantirish deyiladi. to`plamni to`plamga akslantirish biyektiv bo`lganda unga teskari akslantirish mavjud va ayni vaqtda biyektiv ham bo`ladi. Haqiqatdan, biyektiv akslantirish bo`lganda u bir vaqtda ham inyektiv, ham syurektiv bo`ladi. inyektiv, ya`ni uchun bo`lganidan , bu yerda syurektiv, ya`ni bo`lganidan har qanday uchun proobrazlar to`plami bo`sh emas. Demak, akslantirishga teskari akslantirish mavjud va u biyektivdir.