This question is followup to the previous similar question. There I was trying to find good sufficient condition for abstract preorder to be symmetric, but now, as I have found good formalization of my specific preorder, I'll better ask about it directly.

Let's say we have arbitrary finite measure space $\langle \Omega, \mathfrak{I}, \mathbb{P} \rangle$. For any functions $\rho : Y \rightarrow X$ and measurable $f : \Omega \rightarrow X$ with any finite $X$ and $Y$ we define $H_{\rho}(f) = \{\mathbb{P} \circ g^{-1} \mid f = \rho \circ g, g \text{ is measurable}\}$ – set of functions $Y \rightarrow \mathbb{R}_{\ge 0}$ characterizing internal structure of $f$ induced by $\rho$. Preorder $\precsim$ is defined on set of measurable functions $\{ f : \Omega \rightarrow X \}$ as follows – $f_1 \precsim f_2 \iff H_{\rho}(f_1) \subseteq H_{\rho}(f_2), \forall \rho$.

I believe that such preorder is symmetric ($f_1 \precsim f_2 \Leftrightarrow f_2 \precsim f_1, \forall f_1, f_2$) due to external reasons (it has respective game-theoretical interpretation), but I'm unable to prove it as defined. Can anyone help me, please?

UPDATE: Please, take note, $\forall \rho$ here means for all $\rho$ across every possible finite $Y$, not just one externally fixed.

UPDATE: To keep you guys interested and maybe bootstrap thoughts, I'll add some facts.

- $f_1 \precsim f_2 \Rightarrow \xi \circ f_1 \precsim \xi \circ f_2, \forall f_1, f_2, \xi$ – this follows trivially from definition of $H_{\rho}$.
- Consequentially, symmetry of $\precsim$ is easily provable for $f_2 = \pi \circ f_1, \pi : X \leftrightarrow X$. Because of $f_1 \precsim f_2 \Rightarrow \pi \circ f_1 \precsim \pi \circ f_2$ we can build infinite chain of $f_1 \precsim \pi \circ f_1 \precsim \pi \circ \pi \circ f_1 \precsim \ldots$. Combinatorics says that there must be finite cycle $\pi \circ ... \circ \pi$ synonymous to identity permutation, which leads to $f_2 = \pi \circ f_1 \precsim \pi \circ ... \circ \pi \circ f_1 = f_1$.
- Consequentially, symmetry of $\precsim$ is easily provable for measure spaces with finite algebra. In such case any measurable function $f_i$ can be derived from singular function $g$, that transforms each atom to its own element of codomain, as $f_i = \xi_i \circ g$. For such $g$ and its permutations $g \precsim \pi \circ g \Leftrightarrow \pi \circ g \precsim g \Leftrightarrow \mathbb{P} \circ g^{-1} = \mathbb{P} \circ (\pi \circ g)^{-1}$ which leads to $f_1 \precsim f_2 \Leftrightarrow f_2 \precsim f_1$ by definition of $H_{\rho}$.

Unfortunately, here my progress bumps into wall – going from this subcases to generic case seems to be beyond my knowlegde. And this is sad, because symmetry of preorder in question is a cornerstone of formal argumentation for very interesting new result in game theory. I would be very grateful even for slightest hints.

bothparts of $H_{\rho}(f_1) \subseteq H_{\rho}(f_2), \forall \rho \Leftrightarrow H_{\rho}(f_1) \supseteq H_{\rho}(f_2), \forall \rho$. $\endgroup$ – Doktor Diagoras May 8 at 7:51