theorem :: FUZZY_6:31

for f being Membership_Func of REAL holds f is bounded