for C being non empty set holds chi (C,C) is Membership_Func of C ;