For any two points ,
there is an open set
such that
and
or
and
. A space fulfilling this axiom is called a T0-space.
T_0-Separation Axiom
See also
Separation Axioms, T0-SpaceThis entry contributed by Margherita Barile
Explore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W., with contributions by Margherita Barile. "T_0-Separation Axiom." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/T0-SeparationAxiom.html