Devissage

A reduction technique that proves statements about a complex object by filtering it into a finite sequence of subobjects whose successive quotients (graded pieces) are simpler, and then deducing the property for the whole from properties of the pieces and the glueing data between them.