:: deftheorem defines -surreal-valued SURREALI:def 7 :
for X being set
for f being Function holds
( f is X -surreal-valued iff for o being object st o in X holds
f . o is Surreal );