Дополнительные обозначения

Для множества объектов можно ввести специальные обозначения.

• Множество всех под-объектов множества.
• Отношение дополнения для множества объектов будет содержать все объекты пространства в момент времени за вычетом всех объектов.

Для описания конструкции макро-объектов можно ввести специальное обозначение шаблона макро-объекта.

Чтобы отличать два эквивалентных объекта в одной записи введем пред-индекс.

https://telegra.ph/Obshchaya-teoriya-algoritmov-01-20