TrivAsymOrthoRelStr is transitive ;