Ich sehe es auch so, dass hier nur die Verfeinerung einer Überdeckung behandelt wird, zudem ungenau bei der Unterscheidung zwischen echt feiner und feiner. Feiner und gröber gibt es auch im Zusammenhang z. B. mit Mengenalgebren und Topologien ohne Bezug auf eine Überdeckung. Insofern ist die Weiterleitung Verfeinerung (Mathematik) auf den Artikel in dieser Form problematisch.-- Sigma^2 17:55, 12. Mai 2024 (CEST)