theorem :: RFUNCT_1:68

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