for X being set
for C being non empty set holds chi (X,C) is total ;