Отношение, нетипичное для семантической сети – отношение типа:

Структура на множестве Х – это отношение типа:

Отношение эквивалентности – это отношение:

Семантической сети соответствует:

Для среднесрочного прогнозирования системы наиболее важен критерий эффективности, адекватности типа:

Совокупность элементов X и определенных над ними операции F, удовлетворяющих аксиомам (типа аксиом для чисел), называется: