Habe mal das "Nicht leerer Graph P..." ergänzt. Und finde die Idee gut, die Sachen nach Quellen hier erst einmal ordentlich gegenüberzustellen (um dann evtl. später nicht nachweisbare, andere Definitionen zu löschen). -- Tddt 05:25, 6. Jun. 2012 (CEST)