:: deftheorem defines normalized FUZNUM_1:def 1 :
for C being non empty set
for F being FuzzySet of C holds
( F is normalized iff ex x being Element of C st F . x = 1 );