theorem Th26: :: MEASUR10:2

for X, Y, A, B being set
for x, y being object st x in X & y in Y holds
((chi (A,X)) . x) * ((chi (B,Y)) . y) = (chi ([:A,B:],[:X,Y:])) . (x,y)