Axiom of countability

Let $(X, \tau)$ - a topological-space

• first axiom of countability: $\forall x \in X$ exists countable family of definitive point-neighborhood