Dado un grafo y un subconjunto , es posible definir el subgrafo , que se obtiene de eliminar los vértices de que no están en .