
theorem
for a,b be Real, f be Function of REAL,REAL st
(for x be Real holds f.x= max(0, sin(a*x+b)))
holds f is FuzzySet of REAL
proof
 let a,b be Real;
 let f be Function of REAL,REAL;
 assume for th be Real holds f.th= max(0, sin(a*th+b));
 then
 f in {f where f is Function of REAL,REAL :
 ex a,b be Real st for th be Real holds f.th= max(0, sin(a*th+b))};
 hence thesis by Def1,MM1;
end;
