:: deftheorem Def2 defines min FUZZY_4:def 2 :
for C1, C2, C3 being non empty set
for h being RMembership_Func of C1,C2
for g being RMembership_Func of C2,C3
for x, z being object st x in C1 & z in C3 holds
for b₈ being Membership_Func of C2 holds
( b₈ = min (h,g,x,z) iff for y being Element of C2 holds b₈ . y = min ((h . [x,y]),(g . [y,z])) );