A collection of subsets of a topological space is said to be locally finite if whenever there is an open set with such that for all but finitely many .