the Compl of TrivOrthoRelStr is Orderinvolutive