定义.为证明这一定理，我们给出一些名词的定义：关联矩阵：关联矩阵formula_14是描述图的独立节点和支路的关联情况的formula_15矩阵，其元素formula_16满足：我们再引入参考节点formula_18。由图论易知，关联矩阵的各行并非相互独立的，其和为零。故除去描述formula_18的那一行后得到的formula_20矩阵formula_21仍能描述图的拓扑性质。这一矩阵被称为降阶关联矩阵。一般如不特殊说明，关联矩阵即指降阶关联矩阵。基尔霍夫定律的矩阵表