theorem :: RFUNCT_1:62

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