すなわち、逆極限 "x" とは別の逆極限 "x"′ が任意に与えられたとき、全ての射影に対して可換となる射 "x"′ → "x" が一意的に存在する。