Тому в загальному випадку область значень є лише підмножиною Y. Тотожною функцією (тотожним відображенням) називають функцію, область значень і визначення якої збігаються. Ін'єктивні, сюр'єктивні та бієктивні функції Існують спеціальні назви для деяких важливих різновидів функцій: Ін'єктивна функція — функція, в якій різним значенням аргумента відповідають різні результати, тобто, для двох елементів x, y з Y виконується: f(x) = f(y) тоді й тільки тоді, якщо x = y.