:: deftheorem Def10 defines uniq-surreal-valued SURREALC:def 10 :
for f being Function holds
( f is uniq-surreal-valued iff rng f is uniq-surreal-membered );