theorem Th68: :: SURREALN:68

for A, B being Ordinal holds
( No_Ordinal_op A < No_Ordinal_op B iff A in B )