Definition

Let be a topological space, and let

be a decomposition of . This decomposition is called locally finite if each compact set in is contained in only finitely many .