TrivOrthoRelStr is symmetric ;