isotone

We proved that the isotone function f preserves the order, so larger inputs always map to larger or equal outputs.