Vertex cover

Given an undirected graph a set is a vertex cover if for all we have or .