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