refinement

finer cover in topology

Categorie: