theorem :: LFUZZY_1:4

for X being non empty set
for R being Membership_Func of X holds R c= ;