  In this paper we consider the set of all bounded subsets of totally ordered
Dedekind complete Riesz spaces, equipped with the order topology. We show the
existence of bounded linear functions on this set, that are invariant under
group actions of the symmetric group of it.
