let C be non empty set ; :: thesis: for f, g being Membership_Func of C holds f c=
let f, g be Membership_Func of C; :: thesis: f c=
( f c= & f c= ) by FUZZY_1:18;
hence f c= by FUZZY_1:20; :: thesis: verum