theorem :: FUZZY_5:91

{ (TriangularFS (a,b,c)) where a, b, c is Real : ( a < b & b < c ) } c= Membership_Funcs REAL by TR2XX;