Szigorúan monoton csökkenés

Az f függvény egy  [a,b] intervallumban szigorúan monoton csökken, ha ott értelmezve van, és az intevallum minden x1< x2 pontpárjára igaz:                                                                      f(x1) >  f(x2).