For a finite context , set , where equivalence preserves both routes and for bounded invertible comparisons.
Meaning and scope
This is the best worst-case two-sided comparison bound within the declared route-preserving equivalence class.
Example
For scalar witnesses, similarity leaves the witness unchanged. Thus a scalar comparison shrinking like has inverse distortion growing like in every allowed equivalent presentation.