s-独立
ある$ Hが、3-独立なら、自動的に2-独立だし、1-独立である
列の全要素が0になることは定義上無いので、全ての$ Hは1-独立ではある
例
2-独立な検査行列の例
$ H=\begin{pmatrix}0&1&1&1 \\ 1&2&0&1\end{pmatrix} を検査行列とする$ [n,k,d]_3 符号
$ Hはどの2列も比例していないので2-独立
しかし、$ h_1+h_2+2h_3=0になるので3-独立ではない
この様に一つでも反例が見つかると3-独立ではないことが言える