reserve A,B,C,O for Ordinal,
        X for set,
        o for object,
        x,y,z,t,r,l for Surreal;

theorem
  for X,Y be set st X c= Y holds X <=_ Y;
