21.17.1 Продукцией типа "IntegerMapping" является:
IntegerMapping ::= SET OF SEQUENCE {
source SET OF INTEGER,
result INTEGER} (CONSTRAINED BY {/* the intersection of the
source components shall be empty */})
21.17.2 "IntegerMapping" используется для явного указания ints-to-ints преобразования.