theorem :: FUZZY_4:21

for C1, C2 being non empty set
for x, y being set st [x,y] in [:C1,C2:] holds
( (Zmf (C1,C2)) . [x,y] = 0 & (Umf (C1,C2)) . [x,y] = 1 ) by FUNCT_3:def 3;