Sean "X" y "Y" dos subconjuntos compactos de un espacio métrico "M".