Representing preferences with nontransitive indifference by a single real-valued function

Let be an interval order on a topological space (X, τ), and let x _˜^* y if and only if y z x z], and x _˜^** y if and only if z x z y]. Then _˜^* and _˜^** are complete preorders. In the particular case when is a semiorder, let x _˜⁰ y if and only if x _˜^* y and x _˜^** y. Then _˜⁰ is a complete preorder, too. We present sufficient conditions for the existence of continuous utility functions representing _˜^*, _˜^** and _˜⁰, by using the notion of strong separability of a preference relation, which was introduced by Chateauneuf (Journal of Mathematical Economics, 1987, 16, 139–146). Finally, we discuss the existence of a pair of continuous functions u, υ representing a strongly separable interval order on a measurable topological space (X, τ, μ, ).