strict weak ordering#Total preorders