π±
is first-countable if, for every , there exists a sequence of neighbourhoods of such that, for any neighbourhood of , there exists with .
Looking at the definition of Second-countable we can see that this weakens that notion by saying each point has a countable Topological Space Basis i.e.Β the countable collection of neighbourhoods forms a neighbourhood basis in the sense that for any other neighbourhood of we can find an index that points us to something in the basis s.t. .