陪域(Codomain)又称上域、到达域。设G是从X到Y的关系，G的定义域D(G)为X，且对任何x∈X都有惟一的y∈Y满足G(x，y)，则称G为从X到Y的映射。关系G常使用另一些记号：f：X→Y等，f与G的关系是y=f(x)(x∈X)，当且仅当G(x，y)成立，可取变域X中的不同元素为值的变元称为自变元或自变量，同样可取变域Y中的不同元素为值的变元称为因变元或因变量。始集X称为映射f的定义域，记为D(f)或dom(f)；终集Y称为映射的陪域，记为C(f)或codom(f)；Y中与X中的元素有关系G的元素的组合{y|∃x(x∈X∧y=f(x)∈Y)}称为映射的值域，记为R(f)或ran(f)；当y=f(x)时，y称为x的象，而x称为y的原象，y的所有原象所成之集用f-1(y)表示；对于A⊆X，所有A中元素的象的集合{y|∃x(x∈A∧y=f(x)∈Y)}或{f(x)|x∈A}称为A的象，记为f(A)；对于B⊆Y，所有B中元素的原象的集合{x|x∈X∧∃y(y∈B∧y=f(x))}称为B的原象，记为f-1(B)。