A topological space is said to be (or said to hold the axiom ) if, given , (), there exists an open set such that ( and ) or ( and )
An example of space is the Sierpinski space, which is not .