Jabarkan Definisi dari Subgraf terinduksi

Secara formal, misalkan  adalah sebarang graf, dan misalkan  adalah sebarang subhimpunan dari simpul . Maka subgraf terinduksi  merupakan graf yang himpunan simpulnya adalah  serta himpunan sisinya terdiri dari semua sisi di  yang memiliki dua buah simpul ujung di . Dalam artian, untuk sebarang dua simpul ,  dan  dikatakan bertetanggaan di  jika dan hanya jika kedua buah simpul tersebut bertetanggaan di . Definisi yang sama ini berlaku pula untuk graf tak berarah, graf berarah, dan bahkan multigraf.