for X being non empty closed_interval Subset of REAL
for Y being RealNormSpace
for f being continuous PartFunc of REAL,Y st dom f = X holds
modetrans (f,X,Y) = f