Definition: Matched operational equivalence

Two data families are equivalent for this freeze when there is:

1. a bijection of experiment identifiers;

2. a party relabelling within each experiment;

3. bijections of the admitted local instrument descriptions and outcome labels preserving deterministic insertions and coarse-graining;

4. equality of the matched complete probability tables.

The resulting raw-label bijection is denoted by $f$. Changes of basis are allowed only with the corresponding changes of the process and tester descriptions.