TrivOrthoRelStr is QuasiOrthocomplemented