Refinement

From Topospaces

Definition

Let be a cover of a topological space , viz a collection of subsets of whose union is . A refinement of is another cover such that for any , there exists an such that .

An open refinement is a refinement where the new cover is an open cover.

Related notions