Separable Space, Separation axioms (T0, T1, T2), Techonoff space