:: deftheorem Def5 defines Triangle SURREALR:def 5 :
for A being Ordinal
for b₂ being Subset of [:(Day A),(Day A):] holds
( b₂ = Triangle A iff for x, y being Surreal holds
( [x,y] in b₂ iff (born x) (+) (born y) c= A ) );