Abstract value

Величина, определение которой основано только на типе, используемом для передачи некоторой семантики, независимо от того, как она представлена в какой-либо кодировке. Примерами абстрактных величин являются целочисленные значения, булевы величины, значения типа строки символов или типа, который представляет собой последовательность (или выборку) целочисленных и булевых значений.