Übersicht: wichtige Definitionen, Sätze und Verfahren