Definição

Seja dois grafos $G=(V,E)$ e $G'=(V',E')$. Se $G' \subseteq G$ e $G'$ contém todas as arestas $xy \in E$ com $x,y \in V'$, então $G'$ é um subgrafo induzido de $G$; dizemos que $V'$ induz ou gera $G'$ em $G$ e escrevemos $G' =: G[V']$.

Assim, se $U \subseteq V$ é qualquer conjunto de vértices, então $G[U]$ denota o grafo em $U$ cujas arestas são precisamente as arestas de $G$ com ambas as extremidades em $U$. Se $H$ é um subgrafo de $G$, não necessariamente induzido, abreviamos $G[V(H)]$ para $G[H]$.