for A being non empty set holds (chi (A,A)) | A is V8()