total ordering relation