– kóplikler arasındaǵı sáykeslikti anıqlaytuǵın qáde yamasa nızam. Eger $X$ kópliginiń hár bir elementine $Y$ kópliginiń bazıbir elementi sáykeslendirilse, onda $X$ kópliginiń $Y$ kópligine sáwlelendiriwi berilgen dep aytadı. Óz-ara bir mánisli sáykeslik sáwlelendiriwdiń dara jaǵdayı boladı. Mısal: hár qanday funkciya óziniń anıqlanıw oblastınıń funkciya mánisleriniń kópligine sáwleleniwi boladı.