E Major Definitions

Canonical Experiment (Def. 3.1.2): An experiment K that for arty E 6 £ and C C E, there exists D = D(C, E) C K such that for all x , y e C+ with x>^y ,

(x, C; y, E \C ) ~ (x, D; y , K \ D ) .