for X being non empty set
for R being Membership_Func of X holds R c= ;