We can always further coarse-grain the effective state space of a given agent \(B\)  in order to obtain a more restricted agent \(C\) . For example, in renormalization group flow, lowering the cutoff corresponds to coarse-graining over more and more observables [1]}, [2]}. The following proposition formalizes this idea [3]}. All proofs can be found in Appendix .
