查看“映射”的源代码

{{IMSS}}
设X,Y为集合，如果存在一个法则f，使得在法则f下，对X中的每个元素x，在Y中有唯一的一个元素y与x对应，则称f为X到Y的映射，记为
<math>f:X\rightarrow Y</math>
==单射==
设f:X→Y，x<sub>1</sub>,x<sub>2</sub>∈X，如果x<sub>1</sub>≠x<sub>2</sub>，那么f(x<sub>1</sub>)≠f(x<sub>2</sub>)，则称f为单射。
==满射==
∀y∈Y，∃x∈X，使f(x)=y，则称f为满射。
==双射==
f既是满射又是单射（一一对应）