:: deftheorem defines EMF FUZZY_1:def 6 :
for C being non empty set holds EMF C = chi ({},C);