:: deftheorem defines height FUZNUM_1:def 6 :
for C being non empty set
for F being FuzzySet of C holds height F = sup (rng F);