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{\displaystyle a} and b{\displaystyle b} if the removal of S{\displaystyle S} from the graph separates a{\displaystyle a} and b{\displaystyle b} into distinct connected components.