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