MDLD/strictly increasing (R)

Start=strictly increasing (R) Target=Real function/Strictly increasing/Definition