Тождественность типов требуется только для переменных факти-
        ческих и формальных параметров при вызове процедур и функций.

             Два типа,  скажем T1 и T2, являются тождественными, если яв-
        ляется истинным одно из следующих утверждений:  T1 и T2 представ-
        ляю собой один и тот же идентификатор типа; T1 описан как эквива-

        лентный типу, тождественному T2.

             Второе условие означает,  что T1 не обязательно должен  быть
        описан  как непосредственно эквивалентный T2.  Следующие описания
        типов:

             T1 = integer;
             T2 = T1;
             T3 = integer;
             T4 = T2;

        означают, что T1,  T2,  T3,  T4 и integer являются тождественными
        типами. Следующие описания типов:

             T5 = set of integer;
             T6 = set of integer;

        не определяют T5 и T6 как тождественные, поскольку set of integer
        не является идентификатором типа. Две переменные, описанные в од-
        ном и том же описании, например:

             V1, V2: set of integer;

        имеют тождественные  типы,  поскольку  их  описания не раздельны.
        Описания:

             V1: set of integer;
             V2: set of integer;
             V3: integer;
             V4: integer;

        означают, что V3 и V4 имеют тождественный тип, а V1 и V2 - нет.