theorem :: FUZZY_7:26

for a, b, c being Real
for f being Function of REAL,REAL st b > 1 & c > 0 & ( for x being Real holds f . x = min (1,(max (0,(b - |.((b * (x - a)) / c).|)))) ) holds
( f is trapezoidal FuzzySet of REAL & f is normalized FuzzySet of REAL ) by Lm1, Lm2;