The space of conditional systems is a ball

LetS be a nonempty finite set. The space Δ(S) of conditional systems onS, as defined by Myerson (1986), is shown to be homeomorphic to the closed unit ball in (#S-1)-dimensional Euclidean space.