:: deftheorem defines \+\ FUZZY_1:def 8 :
for C being non empty set
for h, g being Membership_Func of C holds h \+\ g = max ((min (h,(1_minus g))),(min ((1_minus h),g)));