theorem HgtBnd: :: FUZNUM_1:21

for C being non empty set
for F being FuzzySet of C holds
( 0 <= height F & height F <= 1 )