for A being RelStr st the InternalRel of A linearly_orders the carrier of A holds
( A is reflexive & A is transitive & A is antisymmetric & A is connected )