A total order in [0,1] defined through a 'next' operator