truncation; apocope
the cutting off of material from the last part of a
character string
; t. (also called
apocope
) is taken as an irreversible elementary operation;
cf
.
Chapter 3, §1,
passim