西安电子科技大学S3.2.2二元关系的定义软件学院茶教家家家设R是集合A到集合B的二元关系。集合A称为R的前域。前域陪域集合B称为R的陪域。domR = (x /(Ey)(< x, y >E R))定义域值域ranR = (y|(Fx)(<x, y>E R))西安电子科技大学 §3.2.2 二元关系的定义 软件学院 前域 集合A称为R的前域。 设R是集合A到集合B的二元关系。 陪域 定义域 值域 集合B称为R的陪域。 = ∃ >∈< RyxyxdomR )},)((|{ = ∃ >∈< RyxxyranR )},)((|{