theorem :: FUZZY_5:90

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