Redução de uma questão, um problema intrincado, a pontos simples e claros, para facilitar a obtenção de uma solução. igualdade entre duas expressões matemáticas que se verifica para determinados valores das variáveis.