$D \subset \mathbb R$ and we have two functions $U: D \to \mathbb R$ and $L: D \to \mathbb R$, with the given property that $\forall x \in D: U(x) > L(x)$.
Because $U(x) \neq L(x)$ there are infinitely many rational numbers between them. I want to choose one, and call it $q(x)$. It does not matter which one.
Infact I want to define a function $q:D \to \mathbb Q$ such that $L(x) < q(x) < U(x)$. Is it possible to define such a function without explicitly saying what $q(x)$ is?
Note: $D$ does not have to be countable.