for X being non empty set
for R, S being Membership_Func of X holds
( R = S iff ( S c= & R c= ) )