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