Definably extending partial orders in totally ordered structures

   Abstract