Fischer-Muszély functional equation almost everywhere (Q2340866)

Suppose that \((G, +)\) is a group. Recall that a nonempty family \(J \subset 2^G -\{G\}\) is called a proper linearly invariant ideal (p.l.i) in \(G\) provided that it satisfies the following conditions: (i) if \(A, B \in J\), then \(A \cup B \in J\); (ii) if \(A \in J\) and \(B \subset A\), then \(B \in J\); (iii) if \(A \in J\) and \(x \in G\), then \(x - G \in J\). A property \(P(x)\) holds \(J\)-almost everywhere in \(G\), whenever \(P(x)\) is valid for all \(x \in G - U\) for some set \(U \in J\). For a subset \(M \subset G^2\) and \(x \in G\), \(M[x] := \{y\in G : (x, y) \in M\}\) is called a section. An ideal \(\hat{J}\) in \(G^2\) is said to be conjugate with an ideal \(J\) in \(G\) if and only if for every set \(M \in \hat{J}\) the appurtenance \(M[x] \in J\) takes place \(J\)-almost everywhere in \(G\). The family \(\Omega(J ) := \{M \subset G^2 : M[x] \in J \text{ for }J\)-almost all