Refinement
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.