ako beskonačni bijekcija bijekcije dakle definicija definiciji definirana definirati dokažimo dokaz dokazali dokazan dokazati drugi dvije ekvipotencija element elementa ćemo funkcija funkcije funkciji funkciju gdje gore identiteta identitete ili injekcija inverzna inverznoj jedan jedinstvena jedinstvenost jednoznačno klase konstruirati kraju možemo naprijed natrag neka neke nekog oba obostrano odaberimo odgovarajuće odnosno označava pokazati postoje postoji potrebno povlače povlači pravilom prema preslikavanje pretpostavimo primjer proizvoljni prvi prvo qed samo slika slično smjer smjera smo stoga surjekcija svaki sve svojstva svojstvima tada takva teorem teorema traženim tvrdnje vrijedi zaista zaključujemo zove