본 논문은 제한된 선택 집합(전체 부분집합이 아닌 제한된 선택 가능성)을 갖는 선택 함수를 구현하기 위해 선형 순서를 어떻게 활용할 수 있는지 연구합니다. 제한된 설정에서는 대안 간의 관계를 통해 선택 함수를 구성하는 것이 항상 가능한 것은 아닙니다. 하지만 본 논문은 대안 집합에 대한 선형 순서를 통해 항상 선택 함수를 구성할 수 있음을 보여줍니다. 여기서 낙수값(fallback value)은 선형 순서에서 최소 요소로 인코딩됩니다. 일반적인 경우와 합집합-폐쇄 입력 제한의 경우에 대한 이러한 선택 함수의 공리 체계를 제시합니다. 제한된 선택 구조는 지식 표현 및 추론에 응용될 수 있으며, 본 논문에서는 이론 변화와 추상적 논증에 대한 응용을 논의합니다.
