Consider $X$ a finite set and let $2^{X}$ denotes its power set (excluding the empty set). Definition 1: A choice function is a function $c:2^{X}\mapsto X$ satisfying $c(A)\in A$ for every $A$ $\;$ Definition 2: A choice function satisfies $\alpha$ if the following property is satisfie...