let C1, C2 be non empty set ; :: thesis: for x being Element of [:C1,C2:]
for h being RMembership_Func of C1,C2 holds
( (Zmf C1,C2) . x <= h . x & h . x <= (Umf C1,C2) . x )
( Zmf C1,C2 = EMF [:C1,C2:] & Umf C1,C2 = UMF [:C1,C2:] ) ;
hence for x being Element of [:C1,C2:]
for h being RMembership_Func of C1,C2 holds
( (Zmf C1,C2) . x <= h . x & h . x <= (Umf C1,C2) . x ) by FUZZY_1:17; :: thesis: verum