theorem Th19: :: SURREAL0:19

for A, B being Ordinal
for R being Relation st A in B holds
ClosedProd (R,A,B) c= OpenProd (R,A,B)