theorem :: SURREALR:18

for X, Y being surreal-membered set holds
( X <<= Y iff -- Y <<= -- X )