theorem Th5: :: LFUZZY_1:5

for X being non empty set
for R, S, T being Membership_Func of X st S c= & T c= holds
T c=