reserve A for non empty set;
reserve a,b,c,x,y,z for Element of A;
reserve o,o9 for Element of LinPreorders A;
reserve o99 for Element of LinOrders A;

theorem Th3:
  a <=_o, a
by Def1;
