theorem Th10: :: ORDINAL1:14

for A, B being Ordinal holds
( A in B or A = B or B in A )