for C1, C2 being non empty set
for c being Element of [:C1,C2:] holds
( (Zmf (C1,C2)) . c = 0 & (Umf (C1,C2)) . c = 1 ) by FUNCT_3:def 3;