Paradís, Jaume; Viader, Pelegrí; Bibiloni, Lluís
(1998)
A `next' operator, s, is built on the set R1=(0,1]-{ 1-1/e}
defining a partial order that, with the help of the axiom of choice,
can be extended to a total order in R1. Besides, the orbits {sn(a)}n
are all dense in R1 ...