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