1
правка
Изменения
м
→Ориентированный лес опечатка
Любой подграф ориентированного леса также является ориентированным лесом, так как во-первых, степень захода каждой вершины в подграфе могла только уменьшится, во-вторых, подграф ацикличного графа {{---}} ацикличен.
3) <tex>A \in \mathcal{I}, \ B \in I, \ \left\vert A \right\vert < \left\vert B \right\vert \Rightarrow 9 \exists \, x \in B \setminus A, \ A \cup \{ x \} \in \mathcal{I}</tex>
Пусть количество вершин в множестве <tex>A</tex> равно <tex>k</tex>.
