在ProE中函数关系