set IntRel = {} {{} },{{} };
{} {{} },{{} } is_asymmetric_in {{} } by Th14;
hence TrivAsymOrthoRelStr is Asymmetric by Def18, CARD_1:87; :: thesis: verum