theorem Th8: :: FUZZY_4:8

for C1, C2 being non empty set
for f, g being RMembership_Func of C1,C2 holds converse (min (f,g)) = min ((converse f),(converse g))