theorem :: FUZZY_4:26

for X, Y being non empty set
for x being Element of X
for y being Element of Y
for f being RMembership_Func of X,Y holds (converse f) . (y,x) = f . (x,y) by Def1, ZFMISC_1:87;