射影極限
アーベル群の逆系 (Ai, fij) の射の値域が安定(すなわち、各 k に対して、適当な j ≥ k が存在して「i ≥ j なる全ての i について f k j ( A j ) = f k i ( A i ) {\displaystyle f_{kj}(A_{j})=f_{ki}(A_{i})} が成り立つ」)ならば、この逆系はミッターク=レフラー条件を満足するという。この条件は lim ← 1  A i = 0 {\displaystyle \varprojlim \nolimits ^{1}A_{i}=0} なることを含意する。
次のような状況は、ミッターク=レフラー条件を満たす例となっている。
全ての射 fij が全射であるような逆系
有限次元ベクトル空間の成す逆系
また、lim1 が 0 とならない(したがってミッターク=レフラー条件を満足しない)例として、I は非負整数の全体、Ai = pZ, Bi = Z, Ci = Bi/Ai = Z/pZ とすれば、
lim ← 1  A i = Z p / Z {\displaystyle \varprojlim \nolimits ^{1}A_{i}=\mathbf {Z} _{p}/\mathbf {Z} }
が得られる。ここで Zp は p-進整数環を表す。