Lexicographic compositions of multiple criteria for decision making

This paper considers two distinct procedures to lexicographically compose multiple criteria for social or individual decision making. The first procedure composes M binary relations into one, and then selects its maximal elements. The second procedure first selects the set of maximal elements of the first binary relation, and then within that set, chooses the maximal elements of the second binary relation, and iterates the procedure until the Mth binary relation. We show several distinct sets of conditions for the choice functions representing these two procedures to satisfy non-emptiness and choice-consistency conditions such as contraction consistency and path independence. We also examine the relationships between the outcomes of the two procedures. Finally we investigate under what conditions the outcomes of each procedure are independent of the order of lexicographic application of the criteria.