:: deftheorem Def3 defines (#) FUZZY_4:def 3 :
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 b₆ being RMembership_Func of C1,C3 holds
( b₆ = h (#) g iff for x, z being object st [x,z] in [:C1,C3:] holds
b₆ . (x,z) = upper_bound (rng (min (h,g,x,z))) );