{ f where f is FuzzySet of REAL : ex A being Subset of REAL st f = chi (A,REAL) } c= Membership_Funcs REAL