Dévissage

Eine Reduktionstechnik, die Aussagen über ein komplexes Objekt beweist, indem man es in eine endliche Folge von Teilobjekten filtert, deren aufeinanderfolgende Quotienten (die graduierten Stücke) einfacher sind, und dann die Aussage für das Ganze aus den Eigenschaften der Stücke und den Verknüpfungsdaten ableitet.