A mapping f from a metric space (X,d) into itself is said to be contractive if x≠y implies d(f(x),f(y))<d(x,y). Theorems of Edelstein [2] state that a contractive selfmapfofa metric space X has a fixed point if, for some x0, the sequence {fn(x0)} of iterates at x0 has a convergent subsequence; moreover, the sequence {fn(x0)} converges to the unique fixed point of f. Nadler [3] observes that, from the point of view of applications, it is usually as difficult to verify the condition (for some x0 …) as it is to find the fixed point directly.