取定图G的一个子图族F，对其中每一个子图α∈F，赋以某一整环R中之元 wα，作为它的度量，这样一个具有度量的子图族F便称为“覆盖单元集”；其中每一个子图α 称为“(覆盖)单元”。当G为无向图，F由G的一切连通子图所构成时，图G在F之下的点覆盖多项式称为“子图多项式”，而当单元α∈F的度量w(α)不同时，可得一些特殊的多项式，例如双色多项式、秩多项式、色多项式等。考察有向(无向)简单图 ，其中 ，必要时也可以考虑有自环(loop)的有向图，今后分别以V(S)及E(S)表示子图S的顶点集及边集；记号 表示子图的并运算。