theorem :: FUZZY_7:25

for a, c being Real
for f being Function of REAL,REAL st c > 0 & ( for x being Real holds f . x = max (0,(1 - |.((x - a) / c).|)) ) holds
f is triangular FuzzySet of REAL