theorem :: FUZZY_1:1

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