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