還元は前順序的であり、自然数の冪集合P(N)に関してP(N)×P(N)という反射的関係であると同時に推移的関係でもある。
归约亦是一种预序关系，意指在P(N)×P(N)，此P(N)上拥有自反关系与传递关系，此处的P(N)是自然数的幂集（powerset）。