Cualquier conjunto con la topología discreta es metrizable si definimos formula_1 para cualquiera formula_2 y formula_3 para todo formula_4