theorem TR6: :: FUZZY_5:65

for a, b being Real st b > 0 holds
for x being Real holds (TriangularFS ((a - b),a,(a + b))) . x = max (0,(1 - |.((x - a) / b).|))