Ultrafilter lemma

定理（英語版）の類似を満たすことである。すなわち、IBN 環上の自由加群の 2 つの基底は同じ濃度を持つ。（選択公理よりも真に弱い）ultrafilter lemma（英語版） を仮定すると、この結果は実は上で与えた定義と同値であり、これを別の定義とすることができる。 IBN 環 R 上の自由加群