funció expansiva y contractiva

Si ( a [< b [< c & < f:[a,b]_{N}⟶[b,c]_{N} & x ↦ f(x) > ==> f(x) es expansiva.

a [< x [< b [< f(x) [< c

Si ( a [< b [< c & < f:[b,c]_{N}⟶[a,b]_{N} & x ↦ f(x) > ==> f(x) es contractiva.

a [< f(x) [< b [< x [< c