In mathematics, an open cover of a topological space is a family of open subsets such that is the union of all of the open sets. In algebraic topology, an open cover is called a good cover if all open sets in the cover and all intersections of finitely many open sets, , are contractible (Petersen 2006).