A cover of a set X is a collection of subsets of X whose union contains X.
An open cover of a space X is locally finite if every point of the space has a neighborhood that intersects only finitely many sets in the cover.