ГОСТ Р ИСО/М ЭК 8824-1-2001
F.1.6 Пусть имеется ссылка на значение, такая как
с С :: ■=5
на значение в С, которая должна в некотором контексте идентифицировать значение в F. Тогда, при условии,
что существует отображения значений между этим значением и С и (единственным) значением в F, можно
определить С как допустимую ссылку на значение в F. Эго показано на рисунке F.2, где ссылка на значение С
используется для идентификации значения в F и может использоваться вместо непосредственной ссылки П.
которую, в противном случае,
н у ж н о
было бы определить:
П F :: - 5
Рисунок F.2
C I - J I I J
89