for A, B being Ordinal holds
( A c< B or A = B or B c< A )