set IntRel = {} ({{}},{{}});
{} ({{}},{{}}) is_asymmetric_in {{}} by PARTIT_2:30;
hence TrivAsymOrthoRelStr is asymmetric by Def18, CARD_1:87; :: thesis: verum