total ordering relations