Invariant basis number
数学、具体的には環論において、環が invariant basis number (IBN) property を持つとは、"R" 上のすべての有限生成自由左加群が well-defined な階数（ランク）を持つことをいう。体の場合には、IBN property は有限次元ベクトル空間は一意的な次元を持つという主張になる。