theorem Th18: :: SURREAL0:18

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