algebra of total order