由X至Y的映射(mapping)是X中诸元与Y中元素对应的关系：任意的x X，恒有一y Y与之对应，写为y＝f(x)，称为像(image)，而且任意元的像是惟一的，亦即x＝x' f(x)＝f(x')。映射f若能同时满足x≠x' f(x)≠f(x')，亦即不同的x与x'必有不同的像，则映射f称为1对1映射或称为单射(injection)。