la_3 是一个有限集，formula_41 是一个由环路构成的formula_3的子集族，称为formula_1的环路集，满足以下条件:可以证明，基础集的一个子集是独立集当且仅当它不包含任一环路作为子集。
秩函数.类似线性代数基底的性质，拟阵的基底具有类似的性质：formula_1的任意两个基底具有相同的元素个数。这个数字被称为拟阵formula_1的秩。