{"id":"arxiv/2609.14102","url":"https://arxiv.org/abs/2609.14102","tags":["math.CO","cs.LO","math.GN"],"score":0,"title":"On the Number of Distinct Topological Bases of a Finite Set of Size $N$","domain":"math.CO","source":"arxiv","authors":["Lars Warren Ericson"],"reviews":0,"subject":"math.CO","summary":"For a finite set $S$ with $\\lvert S\\rvert = N$, the number of families $\\mathcal{B} \\subseteq \\mathcal{P}(S)$ that are topological bases is $\\#(N) = \\sum_{\\mathcal{T} \\in \\operatorname{Top}(S)} 2^{\\lvert\\mathcal{T}\\rvert - \\lvert\\mathcal{M}_{\\mathcal{T}}\\rvert}$, where $\\mathcal{M}_{\\mathcal{T}}$ is the canonical minimal basis of minimal open neighborhoods. The identity is proved in Lean 4 / Mathlib (`CARDB.lean`): bases generating $\\mathcal{T}$ are exactly the sets with $\\mathcal{M}_{\\mathcal{T}} \\subseteq \\mathcal{B} \\subseteq \\mathcal{T}$. The small-$N$ table and the discrete-dominance…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-12","reactions":{}}