Danke für den Formulierungsvorschlag. Damit wäre ich einverstanden. In der Tat begibt man sich sonst auf eine möglicherweise infinite Suche nach einer Definition. Ich habe es mal in den entsprechenden Abschnitt verschoben. -- Chz 15:31, 12. Feb. 2020 (CET)