set IntRel = {} {{} },{{} };
field ({} {{} },{{} }) = {} by Th6;
then {} {{} },{{} } is_asymmetric_in {{} } by Th14, XBOOLE_1:2;
hence TrivAsymOrthoRelStr is Asymmetric by Def18, CARD_1:87; :: thesis: verum