4.3 Bijection

A function is a bijection iff it is an injection and a surjection. Our example $L = \{(x,y)\vert x,y \in \mathbb{R}, y = x + 1\}$ is a bijection.