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