集合 A から 集合 B への 元どうしの対応を考える。
A の任意の元 a に対しては B の元がただ１つ対応するものとする。
a の対応先の B の元 b を a の像という。
このとき，a を b の逆像という。

a₁, a₂ が A の異なる元ならば， その像は異なる。
このことが成り立つ対応を 1対1 あるいは 単射 である という。

任意の B の元に対して，逆像が存在する。
このことが成り立つ対応を 上への対応 あるいは 全射 である という。