theorem :: FUZZY_2:39

for C being non empty set
for f, g being Membership_Func of C holds min (f,g) c=