*Definition [#hcc0f778]
Every [[point-finite]] covering has a [[locally finite]] refinement.
*Reference [#o43f4bb8]
T. Kando, ''Characterization of topological spaces by some continuous functions'', J. Math. Soc. Japan, Vol.6, No.1 (1954)