Mesocompact space (source code)

= Mesocompact space
{wiki=Mesocompact_space}

A **mesocompact space** is a specific type of topological space that generalizes the concept of compactness. While the exact formal definition can vary slightly depending on the context, a mesocompact space typically refers to a space in which every open cover has a certain kind of "refinement" property.