Предположение теоремы 9.2 относительно М) выполняется, разумеется, в том случае, когда h вообще не имеет рецессивных направлений, что имеет место, в частности, если dom h ограничено. Заметим, что в примере, приведенном в начале этого параграфа, это условие нарушено.
