Comparison_Sort_Lower_Bound.Linorder_Relations