theorem :: FUZZY_5:12

{ (chi (A,REAL)) where A is Subset of REAL : A c= REAL } c= Membership_Funcs REAL