Содержание (FireFox,Safari)
11.4. Элементарный шаг преобразования дерева - типа В
Переход от дерева T⚪ к T◎ называется элементарным шагом (преобразования) типа В в том случае, если вместе с неким T∆ дерево T⚪ служит дополнением суммарного T◎
причём в T⚪ вершина nd является узлом (ей непосредственно подчинено непустое множество вершин). █
Замечание
Очевидно, рассмотренный тип В элементарного усложнения дерева T⚪ сохраняет ячейку, в качестве корня имеющую узел nd, а значит, сохраняет и произвольный фрейм дерева T⚪. █