Лемма 11.13
Содержание (FireFox,Safari)

11.13. Лемма

Пусть даны два каркаса

SKEL = <T, SH, COM, SEL> и

SKEL = <T, SH, COM, SEL>

чьи деревья T и T связаны элементарным шагом типа Б, то есть T является дополнением суммарного T.

Если при этом SKEL корректен на некотором множестве Sh0, то и SKEL также корректен на этом же множестве Sh0, поскольку все его SH совпадают с соответствующими множествами из SH.

SKEL и SKEL, следовательно, также как и их деревья, сами связаны между собой элементарным шагом типа Б и отношением проекции. █

Назад Вперёд
ru/en