for a, b being Real
for A being non empty closed_interval Subset of REAL holds chi (A,A) = (Cst 1) | A