由集合X至集合Y的函数f是一个X与Y中元素对应的关系：任意x X，恒有一惟一的y Y与之对应，并写为y=f(x)，其中y称为x的像(image)，x则称为y的原像。函数中任意x的像是惟一的，但是y的原像可能不是惟一的，如果原像具有惟一性，则函数f称为单射(injection)或称为1对1(one-one)。