Sea X = {a..., a} un espacio métrico finito (por ejemplo un subconjunto finito de un espacio métrico).