context | $\langle X,\mathcal T\rangle$ … topological space |
definiendum | ${\mathcal C} in it |
inclusion | ${\mathcal C}\subset \mathcal T$ |
for all | $x\in X$ |
exists | $V\in \mathcal T$ |
postulate | $x\in V$ |
postulate | $\{U\in {\mathcal C}\,|\,U\cap V\neq\emptyset\}$ … finite |
Like many properties, this is a notion of smallness. It's not about the smallness of a subset $U$ of $X$, but smallness of a collection ${\mathcal C}$ of subsets $U$ of $X$.
You may consider a well choosen sample of neighborhoods (the sets $V\in{\mathcal T}$) and ${\mathcal C}$ ought to be finite with respect to that sample (finite pro $V$).
Wikipedia: Locally finite collection, Paracompact space