theorem Th14: :: FUZZY_1:15

for C being non empty set
for f being Membership_Func of C holds UMF C c=