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