for A, X being non empty set holds {(chi (A,X))} c= Membership_Funcs X