還元は前順序的であり、自然数の冪集合p(n)に関してp(n)×p(n)という反射的関係であると同時に推移的関係でもある。