Trong ngữ cảnh của toán học, một hàm được gọi là liên kết phát triển giữa hai tập hợp, qua đó mỗi phần tử của một tập hợp được gán một phần tử duy nhất của tập khác hoặc không có. Mặt khác, ý tưởng về tiêm hoặc tiêm, đề cập đến thuộc tính nói rằng hai yếu tố khác nhau của bộ thứ nhất tương ứng với hai yếu tố khác nhau của bộ thứ hai.

Do đó, một hàm tiêm là một trong đó, với các phần tử khác nhau của tập ban đầu ( miền ), tương ứng với các phần tử khác nhau của tập cuối (tên miền). Điều này có nghĩa là mỗi phần tử của tên miền không có nhiều hơn một tiền tố trong miền: hoặc, được thể hiện theo một cách khác, rằng mỗi phần tử của tên miền không thể có nhiều hơn một hình ảnh trong tên miền .

Biểu thức của hàm tiêm là f: x -> y . Lấy trường hợp của một bộ X được hình thành bởi Argentina, Thụy Sĩ và Nigeria, và một bộ Y bao gồm Mỹ, Châu Âu và Châu Phi . Nếu chúng tôi muốn thiết lập mối quan hệ giữa mỗi quốc gia và lục địa tương ứng, chúng tôi sẽ có được chức năng tiêm chích, vì các liên kết sẽ như sau:

Argentina -> Mỹ
Thụy Sĩ -> Châu Âu
Nigeria -> Châu Phi

Với các bộ được đề cập và mối quan hệ được chỉ định, các yếu tố của bộ thứ nhất (các quốc gia ) không bao giờ có thể tương ứng với nhiều hơn một hình ảnh trong bộ thứ hai (các lục địa). Argentina thuộc về Mỹ, và không thuộc về châu Âu hay châu Phi . Về phần mình, Thụy Sĩ chỉ có một mình ở Châu Âu (không phải ở Châu Mỹ hay Châu Phi ). Nigeria, cuối cùng, là một phần của châu Phi, mà không ở Mỹ hoặc châu Âu . Trong trường hợp này, trong ngắn hạn, cả hai bộ được liên kết bởi một chức năng tiêm.