
theorem MM40:
for f,g be Function of REAL,REAL st
(for x be Real holds f.x= max(0,min(1, g.x)))
holds
f is FuzzySet of REAL
proof
 let f,g be Function of REAL,REAL;
 assume for x be Real holds f.x= max(0,min(1, g.x)); then
 f in {f where f is Function of REAL,REAL :
 for x be Real holds f.x= max(0,min(1, g.x))}; then
 f in Membership_Funcs (REAL) by TARSKI:def 3,MM4;
 hence thesis by Def1;
end;
