Un conjunto de vértices "S" es una cobertura de vértices si y sólo si su complemento formula_5 es un conjunto independiente.