Функція f: X Y називається бієктивним відображенням, якщо вона сюр'єктивна та ін'єктивна.

На графі, що зображує бієктивне відображення X Y, з будь-якої вершини х X виходить точно одна дуга, а до будь-якої вершини, що зображує елемент множини Y, заходить точно одна дуга. В матриці відображення у кожному рядку точно одна одиниця, а в кожному стовпчику – теж точно одна одиниця.