正則マトロイド
マトロイドは、有限集合の部分集合族でいくつかの公理を満たすものと定義される。マトロイドに属する部分集合は独立集合（independent set）と呼ばれる。マトロイドを構成する方法の一つは、あるベクトル空間から有限個のベクトルを選び、それらの部分集合がマトロイドの意味で独立集合であるのは、それら（ベクトルの有限集合）がこのベクトル空間で線形独立であるとき、かつそのときに限ると定義することである。