text: Теперь, если C = {Si : i ∈ D} является допустимым решением задачи покрытия множества для некоторого подмножества D ⊆ I, тогда D является доминирующим множеством для G с |D| = |C|: Первое, для любой вершины u ∈ U существует i ∈ D, такой, что u ∈ Si, и, по построению, u и i смежны в G. Отсюда — u доминируется вершиной i.