for X being non empty set
for R, S, T being Membership_Func of X st S c= & T c= holds
T c=