reserve  X for non empty set,
  R for Relation of X;
reserve O for non empty RelStr;
reserve O for non empty OrthoRelStr;
reserve QO for QuasiOrdered non empty OrthoRelStr;

theorem
  QO is antisymmetric implies QO is PartialOrdered
by Def12;
