Выдержка из книги
Пинус А.Г.
Условные термы и их применение в алгебре и теории вычислений
Принципом согласованности S и Н назовем следующее свойство: для любого С G Н имеет место включение idc G 5, для любого g 5 имеют место включения domg, ranqg G H.
