Let be a collection of subsets of a topological space .
is said to be locally finite if for all there is a neighbourhood of such that for all but finitely many .
Similarly, is said to be locally countable if for all there is a neighbourhood of such that for all but countably many .