Si (X,d)(X,d) es un espacio métrico, es fácil mostrar que H(x,y)={w∈X∣d(x,w)>d(y,w)}H(x,y)={w∈X∣d(x,w)>d(y,w)} es abierto en la topología ττ inducida por dd. ¿Es, en general, {H(x,y)∣(x,y)∈X×X,x≠y}{H(x,y)∣(x,y)∈X×X,x≠y} una subbase para la topología inducida en XX por dd?