If M's a complete metric space
And nonempty, we know it's the case
That under the action
Of a contraction
One point will remain in its place.