for C1, C2 being non empty set
for f being RMembership_Func of C1,C2
for x, y being set holds
( 0 <= f . (x,y) & f . (x,y) <= 1 ) by Th3;