Consider a set of possible outcomes, and consider a selection rule , such that for any with a finite set, the selector selects from with probability .
Luce proposed two choice axioms. The second one is usually meant by "Luce's choice axiom", as the first one is usually called "independence from irrelevant alternatives" (IIA).[3]
Luce's choice axiom 1 (IIA): if , then for any , we still have .
Luce's choice axiom 2 ("path independence"): for any .[4]
Luce's choice axiom 1 is implied by choice axiom 2.
Theorem: Any matching law selection rule satisfies Luce's choice axiom. Conversely, if for all , then Luce's choice axiom implies that it is a matching law selection rule.