Jabarkan Definisi formal dari Teori graf

Sebuah graf  adalah pasangan terurut dari himpunan yang terpisah  dimana  adalah himpunan simpul (node atau vertex) dan  adalah himpunan sisi (edge) yang berlaku . Artinya, anggota himpunan  adalah himpunan bagian berpasangan dua tak terurut dari . Persisnya dalam teori graf, jenis graf ini disebut sebagai graf sederhana tak terarah.

Sebagai contoh, graf  dengan himpunan:

Sebuah himpunan simpul  dari graf  dinotasikan sebagai , sementara himpunan sisi  sebagai .