let X, Y be set ; :: thesis: chi (X,Y) is bounded
{0,1} c= [.0,1.] by Th13;
then rng (chi (X,Y)) c= [.0,1.] ;
hence chi (X,Y) is bounded by Th12; :: thesis: verum