theorem Th61: :: SURREALR:61

for X, Y being set st ( for x being Surreal st x in X holds
ex y being Surreal st
( y in Y & x == y ) ) holds
X <=_ Y