In graph theory, a vertex subset S ⊂ V {\displaystyle S\subset V} is a vertex separator (or vertex cut, separating set) for nonadjacent vertices a and b if the removal of S from the graph separates a and b into distinct connected components.