preorder wellordering well-ordering well-quasi-ordering linear order total ordering relation partial order well-order strict ordering directed set