Иерархический граф: различия между версиями

Иерархический граф (посмотреть исходный код)

67 байт добавлено , Вчера в 20:33

нет описания правки

999

правок

@@ Строка 16: / Строка 16: @@
 Пусть задана некоторая иерархия фрагментов <math>F</math> графа <math>G</math>.
-Для любых <math>C_1, C_2 \in F</math> фрагмент <math>C_1</math> --- [[прямой подфрагмент|''прямой подфрагмент'']] ([[immediate subfragment|''immediate subfragment'']]) <math>C_2</math> (или, что то же самое, фрагмент, [[непосредственно вложенный]] (immediately included) в <math>C_2</math>),если <math>C_1</math> --- подфрагмент <math>C_2</math> и не существует такого
+Для любых <math>C_1, C_2 \in F</math> фрагмент <math>C_1</math> --- [[прямой подфрагмент|''прямой подфрагмент'']] ([[immediate subfragment|''immediate subfragment'']]) <math>C_2</math> (или, что то же самое, фрагмент, [[Непосредственно вложенный фрагмент|непосредственно вложенный]] (immediately included) в <math>C_2</math>),если <math>C_1</math> --- подфрагмент <math>C_2</math> и не существует такого
 <math>C_3 \in F</math>, отличного от <math>C_1</math> и <math>C_2</math>,что
 <math>C_1\subseteq C_3\subseteq C_2</math>.