theorem Th3: :: MESFUN12:3

for X, A being set holds
( chi (A,X) is without+infty & chi (A,X) is without-infty )