1. Bir vaqtning o’zida ham syuryektiv, ham inyektiv bo’lgan akslantirishga

4)  uchun  funksiya ham biyektiv bo’lib, uning teskarisi  dan iborat bo’ladi.

5)  akslanishni qarasak, bu akslantirish inyektiv bo’lib, syuryektiv bo’lmaydi, chunki  bo’ladi.

Shuni ta’kidlaymizki, agar  chekli to’plam va  inyektiv akslantirish bo’lsa,  syuryektiv ham va demak, biyektiv ham bo’ladi. Xudi shunday agar  syuryektiv bo’lsa, biyektiv ham bo’ladi.

Hamma  almashtirishlar to’plamini  deb olsak, undagi hamma biyektiv akslantirishlar to’plami

H_A={f | f:A→A –biektiv akslantirish}S_A qism to’plam bo’ladi. Tabiiyki,

1.  uchun .

2.  uchun .

3.