theorem Th18: :: MESFUN12:18

for A, X being set
for B being Subset of X holds dom ((chi (A,X)) | B) = B