це така відповідність між множинами, в якій кожному елементу з першої множини (області визначення) співставляється один і тільки один елемент з другої множини (можливо тої самої). Часто цю другу множину називаютьобластю значень функції чи відображення (але в загальному випадку область значень є лише підмножиною цієї множини, тому тут слід бути обережним).