拟阵

设M是由元素集合E构成的拟阵。E 可能被称作M的基础集。它的元素可能被称作M的点。一个E的子集涵盖了M，如果M的闭包是F。一个集合被叫做涵盖了一个封闭集合K，当它的闭包是K。拟阵的周长（girth）是它最小的圈或者独立子集的大小。一个组成了M的单个元素圈的元素称之为环。同等的，一个元素是一个环，当它不属于任何基（basis）。一个不属于任何圈的元素被成为一个联合环或者峡（isthmus）。同等的，一个元素是个联合环，当它属于每一个基（basis）。环和联合环是互相对偶。如果两个元素集合{f,g}是M的一个圈，那么f和g在M中是平行的。一个拟阵被称作是简单的，当它没有包含1或2个元素的圈。也就是说，这个拟阵没有任何环或者没有平行元素。这个意义也被组合集合学使用。一个简单拟阵的获得方法是从另外一个拟阵M中删除所有的环和从每个二元圈中删除一个元素直到没有留下二元圈为止，这个过程被成为M的简化。一个拟阵是联合简单的，当它的对偶拟阵也是简单的。一个圈的并操作有时候也被称作M的环。一个环因此是一个对偶拟阵的平面（flat）的补（此处的使用跟在图理论中通常的圈定义是冲突的）。一个M的分隔符是S的一个子集，满足 。一个真或者非平凡的分隔符是既不是M又不是空集的分隔符。一个不可归约的分隔符是没有包含任何非空的分隔符的分隔符。不可归约的分隔符划分了基础集E。一个不能被直接写成两个非空拟阵直接相加结果的拟阵，或者同等的，没有真分隔符，被称为相连，或者不可归约。一个拟阵被相连的，当且仅当它的对偶是相连的。一个最大的不可归约的M的子拟阵被称为M的分量。一个分量是从M到一个不可归约的分隔符的约束，相反的，从M到一个不可归约的分隔符的约束是一个分量。一个分隔符就是所有分量的是并。一个拟阵M被称作帧拟阵，当它或者一个包含有它的拟阵，有一个基（basis）因此所有的M的点在基（basis）元素对的交点的线上被包含。一个拟阵被称为平铺矩阵，当它的所有圈有着至少等于它的秩的大小。一个拟阵多胞形 是基于M的指标向量的凸包。