subset_conditionally_complete_linear_order source