{ (chi ([.a,b.],REAL)) where a, b is Real : a <= b } c= Membership_Funcs REAL