for a, b being object
for R being Relation st R is well-ordering holds
R -Seg a,R -Seg b are_c=-comparable