theorem :: LFUZZY_1:40

for X being non empty set
for R, S being RMembership_Func of X,X st S is transitive & S c= holds
S c=