Choice Function

Definition

$\forall i\in I:f(A_i)\in A_i$ where $\{A_i\}$ is the Family of Sets of subsets of $X$, and $f:\{A_i\}\to X$

A function that selects an element from a given set.