:: deftheorem Def16 defines surreal-membered SURREAL0:def 16 :
for X being set holds
( X is surreal-membered iff for o being object st o in X holds
o is surreal );