theorem :: OPOSET_1:7

TrivAsymOrthoRelStr is transitive ;