无冗余集

不重复的概念是由科卡恩提出的等。(1978). 让表示图表邻里顶点的在图表中（包括自身），并让表示一组顶点邻域的并集.然后是一组顶点在图表中称为无冗余集，如果，对于每个顶点,

换言之，无冗余集是一组图顶点，因此从该集删除任何一个顶点都会得到与整个集的邻域并集不同的邻域联合。

最大可能大小的无冗余集称为最大无冗余集和一个非冗余集，它不是一个较大的无冗余集称为最大无冗余设置.

任何独立顶点集是无冗余的套（汉堡等。1997年，Mynhardt and Roux 2020）。

A类支配集是最小值支配 若（iff）它是无冗余的（Mynhardt and Roux 2020）。

如果集合是无冗余的并且支配，是的最大无冗余和最小值支配（Mynhardt and Roux 2020）。