Изменения
→Дополнительный граф
{{Теорема
|statement=
Дополнительный [[Основные_определения_теории_графов|граф ]] к дополнительному графу $G$ есть граф $G$.
|proof=
<tex>\overline{\overline {G \langle V, E \rangle}} = \overline{G_1 \langle V, \overline{E} \rangle} = G_2 \langle V, \overline{\overline{E}} = G_2 \langle V, E \rangle = G</tex>
{{Теорема
|statement=
Дополнительный граф к [[Отношение связности, компоненты связности|несвязному ]] графу связен.
|proof=
{{Определение
|definition =
'''Самодополнительным графом''' (англ. ''self-complement'') называется граф, [[Основные определения теории графов|изоморфный ]] своему дополнительному.
}}
<br>
