映射亦称为函数。数学的基本概念之一。也是一种特殊的关系。设G是从X到Y的关系，G的定义域D(G)为X，且对任何x∈X都有惟一的y∈Y满足G(x，y)，则称G为从X到Y的映射。反同态(anti-homomorphism)是一类特殊映射。使运算反序的映射。设G与G′是两个群，f是G到G′的映射，若对任意的a，b∈G，f(b)f(a)=f(ab)，则称f是群G到群G′的一个反同态。