Un "conjunto de corte de vértices" "U" en un grafo "G", es un conjunto de vértices de "G", tal que "G-U" no es conexo o trivial.