Tolong jelaskan mengenai 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 .