Sorting record (source code)

= Sorting record

A complete entry comprising a <sort key> together with any associated data. In $(2,A)$, the <sort key> is $2$ and $A$ stands for the associated data or an identity label. <Sorting permutation preservation> concerns these complete entries, rather than only their extracted <sort keys>.