– $A$ kópligin $B$ kóplikke biektiv sáwlelendiriw - $A$ kópliginiń hár qıylı elementleri hár qıylı obrazlarǵa iye bolatuǵın hám $f(A)=B$ bolatuǵın $f: A\rightarrow B$ sáwlelendiriwi. Basqasha aytqanda, $f$ - bul $A$ kópligin $B$ kópligine óz-ara bir mánisli sáwlelendiriw yamasa bir waqıtta inyektiv hám syuryektiv sáwlelendiriw. Biektiv sáwlelendiriw $A$ hám $B$ kóplikleriniń elementleri arasında óz-ara bir mánisli sáykeslik ornatadı. $A$ kópligin $A$ kópligine biektiv sáwlelendiriw $A$ kópligin ornına qoyıw yamasa ornın almastırıw dep te ataladı.