Математическое бинарное отношение, такое что для каждого элемента слева существует ровно один соответствующий элемент справа.