Насыщающая разметка

Версия для печати больше не поддерживается и может содержать ошибки обработки. Обновите закладки браузера и используйте вместо этого функцию печати браузера по умолчанию.

Насыщающая разметка (Acceptable assignment) — такая стационарная разметка [math]\displaystyle{ \,R }[/math], что [math]\displaystyle{ B \sqsubseteq R }[/math] для любой стационарной разметки [math]\displaystyle{ \,B }[/math].