Kita mengatakan bahwa \(H\) merupakan subgraf dari \(G\) jika setiap simpul dan sisi \(H\) juga merupakan simpul atau sisi \(G\text{.}\) Kita mengatakan \(H\) merupakan subgraf terinduksi dari \(G\) jika setiap simpul \(H\) merupakan simpul \(G\) dan setiap pasangan simpul di \(H\) bertetangga di \(H\) jika dan hanya jika keduanya bertetangga di \(G\) .