theorem Th7: :: FUZZY_4:7

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