for X being non empty set
for x being object st x in Membership_Funcs X holds
ex f being Membership_Func of X st
( x = f & dom f = X )