:: deftheorem Def8 defines made_of SURREALO:def 8 :
for A being set
for b₂ being surreal-membered set holds
( b₂ = made_of A iff for o being object holds
( o in b₂ iff ( o is surreal & (L_ o) \/ (R_ o) c= A ) ) );