theorem Th31: :: DIST_2:31

for S being non empty finite set
for A, B being set
for f, g being Function of S,BOOLEAN st A c= S & B c= S & f = chi (A,S) & g = chi (B,S) holds
chi ((A \/ B),S) = f 'or' g