:: deftheorem Def1 defines converse FUZZY_4:def 1 :
for C1, C2 being non empty set
for h being RMembership_Func of C2,C1
for b₄ being RMembership_Func of C1,C2 holds
( b₄ = converse h iff for x, y being object st [x,y] in [:C1,C2:] holds
b₄ . (x,y) = h . (y,x) );