refinement

finer cover in topology

Categorieën: