Логический анализ E-структур с помощью графов

Это говорит о том, что данные E‑структуры логически эквивалентны.Теперь познакомимся с еще одним основным понятием E‑структур.Происхождение названия этого графа связано с некоторыми известными понятиями современной математики.Кроме CT‑замыкания в E‑структурах имеются другие инварианты.Предположим, что E-структура R задана своими исходными посылками.При этом окажется, что и все CT-замыкание E-структуры R при такой замене останется неизменным.Отметим одну особенность E-структур.Пути такого типа называются в упорядоченных структурах максимальными путями.Диаграмма Хассе E-структуры является ее инвариантом.При этом структура становится более наглядной.