Đơn ánh

Bài viết này cần thêm liên kết tới các bài bách khoa khác để trở thành một phần của bách khoa toàn thư trực tuyến Wikipedia. Xin hãy giúp cải thiện bài viết này bằng cách thêm các liên kết có liên quan đến ngữ cảnh trong văn bản hiện tại. (tháng 7 2018)

Bài viết này cần thêm chú thích nguồn gốc để kiểm chứng thông tin. Mời bạn giúp hoàn thiện bài viết này bằng cách bổ sung chú thích tới các nguồn đáng tin cậy. Các nội dung không có nguồn có thể bị nghi ngờ và xóa bỏ.

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:

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