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 .