On Symmetric and Antisymmetric Relations.
The notion of a TST-space is introduced and its connection with a parallelogram space is given. The existence of a TST-space is equivalent to the existence of a parallelogram space, which is a new characterization of a parallelogram space. The structure of a TST-space is described in terms of an abelian group.
We show in detail that the category of general Roth systems or the category of semi-stable systems of linear inequalities of slope zero is a neutral Tannakian category. On the way, we present a new proof of the semi-stability of the tensor product of semi-stable systems. The proof is based on a numerical criterion for a system of linear inequalities to be semi-stable.
The paper deals with the characterization of ordered sets by means of ternary semigroups of homomorphisms of ordered sets.