theorem Th14: :: COUSIN2:17

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