Биекция - это взаимно однозначное соответствие.
Взаимно однозначное соответствие - это такое соответствие, при котором каждому элементу одного множества отвечает один и только один элемент другого множества - и наоборот.