Đơn ánh

Một hàm số là đơn ánh khi nó áp dụng lên 2 đối số khác nhau luôn cho 2 giá trị khác nhau.

Một cách chặt chẽ, hàm f, xác định trên X và nhận giá trị trong Y, là đơn ánh nếu như nó thỏa mãn điều kiện với mọi x₁ và x₂ thuộc X và nếu x₁ ≠ x₂ thì f(x₁) ≠ f(x₂).

Nghĩa là, hàm số f là một đơn ánh khi và chỉ khi:

$\mathrm{\forall }{x}_1,x_2\in 𝑋;x_1\ne x_2\Rightarrow f(x_1)\ne f(x_2)$