theorem Th59: :: SURREALR:59

for x, y being Surreal
for X, Y1, Y2 being set st Y1 c= Y2 holds
comp (X,x,y,Y1) c= comp (X,x,y,Y2)