函数的性质

设 $f:A\to B$,

• 若 $ranf=B$, 则称 $f:A\to B$ 是漫射的.
• 若 $\forall y\in ranf$ 都存在唯一的 $x\in A$ 使得 $f(x)=y$, 则称 $f:A\to B$ 是单射的.
• 若 $f:A\to B$ 既是满射又是单射的, 则称 $f:A\to B$ 是双射的.