En términos no-técnicos, una aplicación contractiva aplica cualesquiera dos puntos "x" e "y" de "M" a puntos situados más juntos de lo que originalmente estaban los puntos "x" e "y".