:: deftheorem defines ab_difMF FUZZY_1:def 9 :
for C being non empty set
for h, g, b₄ being Membership_Func of C holds
( b₄ = ab_difMF (h,g) iff for c being Element of C holds b₄ . c = |.((h . c) - (g . c)).| );