TrivAsymOrthoRelStr is irreflexive ;