# Library prosa.util.rel

In this section, we define the notion of monotonicity for functions.

We say that function f is monotone with respect to relation
R, iff R x y implies R (f x) (f y) for any x y : T.

In this section, we define some properties of relations on lists.