题B的算法，也可以作为解决问题A的子程序，则将问题A称为「可归约」到问题B，因此求解A并不会比求解B更困难。一般写作A ≤ B，通常也在≤符号下标使用的归约类型（m：映射缩小，p：多项式缩减）。将一组问题归约到特定类型所产生的数学结构，通常形成预序关系，其等价类可用于定义求解难度和复杂度。
简易介绍.我们解题时常遇见似曾相识的题目。此时，我们若可将新题转换成已解旧题的一例，则新题亦解矣。另一更微妙的用法是：若我们拥有一个已证明难以解决的问题，我们又获得另一个相似的新问题