Dévissage

Une technique de réduction qui prouve des énoncés sur un objet complexe en le filtrant par une suite finie de sous-objets dont les quotients successifs (les parties graduées) sont plus simples, puis en déduisant la propriété pour l'objet entier à partir des propriétés des parties et des données d'assemblage entre elles.