Đơ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:

$\forall x_{1},x_{2}\in {\mathit {X}}\,\!;x_{1}\neq x_{2}\Rightarrow f(x_{1})\neq f(x_{2})$