In mathematics, in the field of general topology, a topological space is said to be mesocompact if every open cover has a compact-finite open refinement.
[1] That is, given any open cover, we can find an open refinement with the property that every compact set meets only finitely many members of the refinement.
[2] The following facts are true about mesocompactness: