Let $X$ and $Y$ be sets. A bijection from $X$ to $Y$ is a function

with the following property: for every element $y\in Y$ there exists exactly one element $x\in X$ such that