let f be Membership_Func of C; :: thesis: f is quasi_total
dom f = C by FUZZY_1:def 1;
hence f is quasi_total by FUNCT_2:def 1; :: thesis: verum