theorem :: FUZZY_1:12

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