一，定义
设E是有限元素的集合，I是E的子集族，它满足下列条件：
（1）
（2）若且,则
（3）若且|X|" src="https://latex.codecogs.com/gif.latex?%7CY%7C%3E%7CX%7C" />,则存在,使
则称（E,I）为一拟阵，，记为
已知E是一个有限向量的的集合，I={X|,X中的向量线性无关}，则是一个拟阵，称它为向量拟阵。
二、基
对于拟阵M=(S,I),若BI,但不存在，使 ，则称B为拟阵M的基，也叫作拟阵的极大独立集。B(M)表示所有基的集合。理解：(即B属于I,找不到包含B的集合属于I。)
三、圈
若但任意的有，则称C是拟阵M的圈，即圈是拟阵的极小相关集。用C(M)表示拟阵M所有圈的集合，理解：（除了C不属于I，它的子集都属于I。）
