Espacio T1

En topología un espacio T1 o de Fréchet es un caso particular de espacio topológico.si para cada pareja de elementos distintosexiste un abierto que contiene ay no aEsto claramente implica que también existe un abierto que contiene ay no a, ya que también se cumple para la parejaPor tanto, también se suele definir como un espacio topológico tal que para cada pareja de elementos distintosexiste un abierto que contiene ay también existe un abierto que contiene aNotar que no es necesario que estos dos abiertos sean disjuntos (si esto ocurriera para todo, sería un espacio de Hausdorff oSon equivalentes: La propiedad de ser T1 es hereditaria, es decir, los subespacios de un T1 es también T1.[1]​ Un espacio topológico es T1 si y solo si cada punto es un conjunto cerrado.