for X being non empty set
for R being RMembership_Func of X,X holds 0 iter R = Imf (X,X)