Estoy buscando una palabra que describa una función en la que se garantice que cada salida proviene exactamente de un rango contiguo de valores de entrada.
Por ejemplo, una función monótona tiene esta propiedad, pero eso es demasiado fuerte: el ordenamiento relativo no es importante.
Sin embargo, esta es una garantía más floja que la de que la función sea invertible. No es necesario que sea posible deducir exactamente cuál era la entrada para una salida determinada.
Por ejemplo, una función que produjera estos resultados podría calificarse:
x y
------
0 0
1 0
2 0
3 2
4 2
5 2
6 1
7 1
Pero una función que produjera estos resultados no lo haría:
x y
------
0 0
1 0
2 0
3 2
4 3
5 2
6 1
7 1
porque 2 ya no se produce sólo dentro de un único rango de valores de entrada.