Отображение $f\colon X\rightarrow Y$ называется биективным, если для каждого $y\in Y$ найдется ровно один $x\in X$ такой, что $f(x)=y$.