##### 满射 - 满射 - **满射**指值域等于陪域的[[映射]]. 设映射 $f:X\to Y$, 若 $R_f=Y$, 即 $Y$ 中任一元素 $y$ 都是 $X$ 中某元素的像, 则称 $f$ 为 $X$ 到 $Y$ 的满射, 即值域和陪域相同 - ![[opentext_数学_映射类型.png]]