theorem Th4: :: MESFUN12:4

for X being non empty set
for A being set
for r being Real holds
( rng (chi (r,A,X)) c= {0,r} & chi (r,A,X) is without+infty & chi (r,A,X) is without-infty )