theorem Th26: :: WELLORD1:26

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