Beschreibung

Eine Verfeinerung ist eine präzisere Überdeckung.

Definition

Sei eine Offene Überdeckung. Eine Überdeckung mit für ein , nennt man eine Verfeinerung.

Eigenschaften