Definição

Seja dois grafos $G$ e $G'$. Se $G' \subseteq G$ e $G' \neq G$, então $G'$ é um subgrafo próprio de $G$.