theorem Th39: :: LFUZZY_1:39

for X being non empty set
for R, S being RMembership_Func of X,X
for n being Nat st S c= holds
n iter S c=