Let $\{T_n\}_n$ be a sequence of random variables, and let $X$ be another random variable.

Each $\mathbb{E}(T_n|X)$ is a random variable, therefore the statement "$\mathbb{E}(T_n|X)\rightarrow 0$ almost surely" makes sense in the sense of almost sure convergence of random variables.

What makes this difficult to unpack is that almost sure convergence is phrased in terms of individual $\omega$'s in the probability space, but the definition of $\mathbb{E}(T_n|X)$ is via the existence of the Radon-Nikodym derivative, and so is non-constructive...

The question is whether you can have an equivalent definition of this statement that does not use the Radon-Nikodym derivative as a black box. For example, is it equivalent to the statement: "for every measurable set $U$ in the co-domain of $X$, the mean of $T_n$ over $X^{-1}(U)$ converges to $0$"?