theorem Th19: :: FUZZY_9:18

for a, b, c being Real
for f being Function of REAL,REAL st a < b & b < c & f = ((AffineMap ((1 / (b - a)),(- (a / (b - a))))) | ].-infty,b.]) +* ((AffineMap ((- (1 / (c - b))),(c / (c - b)))) | [.b,+infty.[) holds
max+ f = TriangularFS (a,b,c)