:: deftheorem defines << SURREAL0:def 3 :
for L, R, O being set holds
( L << O,R iff for l, r being object st l in L & r in R holds
not l >= O,r );