Prove that a function f is contractive on a set A if there exists a constant 0
Contractiveness is investigated.