theorem Th30: :: LFUZZY_1:30

for X being non empty set
for R being RMembership_Func of X,X holds TrCl R c=