for A, B being set holds
( A,B are_c=-incomparable or A c= B or B c< A )