theorem Th29: :: SURREAL0:29

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