theorem :: FUZZY_5:9

Membership_Funcs REAL = { f where f is Function of REAL,REAL : f is FuzzySet of REAL }