theorem :: FUZZY_5:92

{ f where f is FuzzySet of REAL : f is trapezoidal } c= Membership_Funcs REAL