不可約集

不可約性的概念由 Cockayne 等人 (1978) 引入。令 表示圖 中頂點 的圖鄰域（包括 自身），令 表示頂點集 的鄰域的並集。那麼，圖 中的頂點集 被稱為不可約集，如果對於每個頂點 ,

換句話說，不可約集是一個圖頂點集，從該集合中移除任何單個頂點所得到的鄰域的並集，與整個集合的鄰域的並集不同。

最大可能尺寸的不可約集稱為最大不可約集，而並非更大不可約集的真子集的不可約集稱為極大不可約集。

任何獨立頂點集都是不可約集 (Burger 等人 1997, Mynhardt 和 Roux 2020)。

支配集是極小支配的當且僅當它是不可約集 (Mynhardt 和 Roux 2020)。

如果一個集合是不可約且支配的，那麼它是極大不可約且極小支配的 (Mynhardt 和 Roux 2020)。