Ontify
Invariant associated to a topological space; the smallest integer 𝑛 such that, for every cover, there is a refinement in which every point lies in the intersection of at most 𝑛+1 covering sets.