for X, Y being set holds chi (X,Y) is bounded