Verfeinerung Einer Offenen Überdeckung

Ein Vorgang in der Topologie, bei dem eine offene Überdeckung eines Raumes durch eine andere offene Überdeckung ersetzt wird, wobei jede Menge der neuen Überdeckung in einer Menge der ursprünglichen Überdeckung enthalten ist; dient dazu, Überdeckungen mit zusätzlichen Eigenschaften (z. B. lokal endlich) zu erzeugen.