Bài báo này khám phá cách sắp xếp tuyến tính có thể được sử dụng để triển khai một hàm lựa chọn với một tập hợp các lựa chọn hạn chế (một tập hợp các lựa chọn khả dĩ hạn chế, không phải là một tập con hoàn chỉnh). Trong các bối cảnh hạn chế, việc xây dựng một hàm lựa chọn thông qua các mối quan hệ giữa các phương án thay thế không phải lúc nào cũng khả thi. Tuy nhiên, bài báo này chứng minh rằng việc sắp xếp tuyến tính của tập hợp các phương án thay thế luôn có thể xây dựng một hàm lựa chọn, trong đó giá trị dự phòng được mã hóa thành phần tử nhỏ nhất trong sắp xếp tuyến tính. Chúng tôi trình bày một hệ tiên đề cho hàm lựa chọn này trong trường hợp tổng quát và trường hợp các ràng buộc đầu vào đóng hợp. Các cấu trúc lựa chọn hạn chế có ứng dụng trong biểu diễn tri thức và lập luận, và bài báo này thảo luận về các ứng dụng trong thay đổi lý thuyết và lập luận trừu tượng.
