Let's say I have an object which can be viewed as family of sets $\mathfrak{S} \subseteq 2^S$, and I want to prove that its intersection is non-empty. What is known already:

- $S$ is set of measurable functions $f : \Omega \rightarrow X$ on fixed probability space $\langle \Omega, \mathfrak{I}, \mathbb{P} \rangle$ with same finite codomain;
- Every finite sub-family of $\mathfrak{S}$ has non-empty intersection;
- Under metric $d(f', f'') = \mathbb{P}(f' \neq f'')$ every set in family is complete, but, unfortunately, not totally bounded.

Obviously, this is not enough to deduct non-emptiness of family intersection, but may be you can suggest some strategy? What additional facts can I try to prove here to reach my goal?