:: deftheorem defines almost-No-order SURREAL0:def 7 :
for R being Relation holds
( R is almost-No-order iff ex O being Ordinal st R c= [:(Day (R,O)),(Day (R,O)):] );