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 x1 và x2 thuộc X và nếu x1 ≠ x2 thì f(x1) ≠ f(x2).Nghĩa là, hàm số f là đơn ánh khi và chỉ khi: ∀ x 1 , x 2 ∈ X ; x 1 ≠ x 2 ⇒ f ( x 1 ) ≠ f ( x 2 ) {\displaystyle \forall x_{1},x_{2}\in {\mathit {X}}\,\!;x_{1}\neq x_{2}\Rightarrow f(x_{1})\neq f(x_{2})} Với đồ thị hàm số y = f(x) trong hệ tọa độ Đề các, mọi đường thẳng vuông góc với trục đối số Ox sẽ chỉ cắt đường cong đồ thị tại nhiều nhất là một điểm.