theorem Th2: :: MESFUN12:2

for X being non empty set
for A being set holds
( chi (+infty,A,X) = Xchi (A,X) & chi (-infty,A,X) = - (Xchi (A,X)) )