theorem :: SURREALI:3

for X, Y being set
for Inv being Function st Inv is Y -surreal-valued & X c= Y holds
Inv is X -surreal-valued ;