Saya mau tau Definisi dari Pohon (teori graf)

Sebuah graf tak berarah G yang memiliki n simpul dapat dikatakan sebagai pohon apabila terpenuhi syarat-syarat berikut:

Simpul-simpul pada G saling terhubung melalui n − 1 sisi.

G bersifat asiklik (tidak membentuk sirkuit).

Terdapat hanya satu sisi yang menghubungkan dua simpul.

Penambahan sebuah sisi antara dua simpul akan membentuk tepat satu sirkuit.

Pengurangan sebuah sebarang sisi akan memutuskan G.