for X being non empty set
for A being non empty Subset of X holds rng (chi (A,A)) = {1}