Swap
= Swap
Exchange two stored values while preserving all others. For an <array>, a temporary value implements `x := a[i]; a[i] := a[j]; a[j] := x`. For distinct indices this uses two element reads and two element writes. The operation is an <involution>, and its <permutation> is a <transposition>.