partial order preorder partial ordering relation total ordering relation total order equivalence relation order wellordering well-ordering ordered set