Dévissage

Una técnica de reducción que prueba enunciados sobre un objeto complejo filtrándolo en una sucesión finita de subobjetos cuyos cocientes sucesivos (las piezas graduadas) son más simples, y luego deduce la propiedad para el conjunto a partir de las propiedades de las piezas y de los datos de ensamblaje entre ellas.