正則マトロイド
正則マトロイドは、全ユニモジュラ行列（全ての正方小行列式が 0, 1, −1 のいずれかにである正方行列）によって定義できるマトロイドである。ここでベクトル集合の実現は、行列の行集合を選ぶことにより行うものとする。このことから、正則マトロイドはときにユニモジュラマトロイドとも呼ばれる。正則マトロイドと全ユニモジュラ行列との等価性、および不可能なマトロイドマイナーによるそれらの特徴付けは、による深い結果であり、を用いて最初に証明された。 は後に、不可能なマトロイドマイナーによる全ユニモジュラ行列の特徴付けの、より簡単な別証明を与えた。