數學中，一個由集合 X {\displaystyle X} 映射至集合 Y {\displaystyle Y} 的函數，若對每一在 Y {\displaystyle Y} 內的 y {\displaystyle y} ，存在唯一一個在 X {\displaystyle X} 內的 x {\displaystyle x} 与其对应，且對每一在 X {\displaystyle X} 內的 x {\displaystyle x} ，存在唯一一個在 Y {\displaystyle Y} 內的 y {\displaystyle y} 与其对应，則此函數為對射函數。 Wikipedia