for X being non empty set
for R being RMembership_Func of X,X st R is transitive holds
R = TrCl R