西安电子科技大学函数的定义$4.1.1软件学院家家家设X和Y是集合，是从X到Y上的二元关系，函数如果对于每一个xEX都有唯一的yEY，使得<x,y>Ef，称为从X到Y的函数，记为：X一Y。函数又称作映射或变换。函数的形式定义J :X-Y(Vx)(xEX-(Fy)(yEYA<X, yPE f A(YZ)(ZEA<X,Z>E J -y-z)函数区别于一般二元关系的两个特点：（1）函数的定义域等于前域：（2）对于前域每个元素，陪域中仅有唯一的一个象与之对应。西安电子科技大学 函数的定义 软件学院 函数 §4.1.1 函数的形式定义 函数区别于一般二元关系的两个特点： （1）函数的定义域等于前域； （2）对于前域每个元素，陪域中仅有唯一的一个象与之对应