Un espacio topológico X es de Tychonoff si es formula_9 y completamente regular.