for X, Y being set holds chi (X,Y) is Function of Y,REAL