In topology, a branch of mathematics, a first-countable space is a topological space satisfying the "first axiom of countability". Specifically, a space X is said to be first-countable if each point has a countable neighbourhood basis (local base). That is, for each point x in X there exists a sequence N₁, N₂, … of neighbourhoods of x such that for any neighbourhood N of x there exists an integer i with N_i contained in N. Since every neighborhood of any point contains an open neighborhood of that point the neighbourhood basis can be chosen without loss of generality to consist of open neighborhoods.