Himpunan bebas (teori graf): Perbedaan antara revisi

Dari graf yang menjadi aksen dari graf sebelumnya dapat disimbulkan sebuah Teorema :

IS ⊆ V, CL ⊆ V, IS = CL

* IS = U, V ε IS -> (U,V) bukan bagian dari E

* CL = U,V ε CL -> (U,V) ε E