theorem :: RFUNCT_1:69

for X, Y being set
for C being non empty set holds (chi (X,C)) (#) (chi (Y,C)) = chi ((X /\ Y),C)