theorem Th28: :: SURREAL0:28

for A, B being Ordinal ex R being Relation st
( R preserves_No_Comparison_on ClosedProd (R,A,B) & R c= ClosedProd (R,A,B) )