a total order - Spanish English Dictionary