Якщо обидві множини X та Y є скінченні з однаковою кількістю елементів, то f : X → Y сюр'єктивна тоді й тільки тоді, якщо f ін'єктивна. Див. також Відображення Ін'єктивне відображення Бієктивне відображення Джерела Типи функцій Теорія множин