
theorem
{f where f is FuzzySet of REAL:f is triangular}
 c= Membership_Funcs (REAL)
proof
 let x be object;
 assume x in {f where f is FuzzySet of REAL: f is triangular};
 then ex f be FuzzySet of REAL st x=f & f is triangular;
 hence thesis by Def1;
end;
