Keuzefunctie

Een keuzefunctie, selector of selectie is een wiskundige functie ${\displaystyle f}$, waarvan het domein ${\displaystyle X}$ een verzameling is, waarin de elementen zelf ook weer verzamelingen zijn, die geen lege verzameling zijn, zodanig dat voor elke ${\displaystyle S\in X}$, ${\displaystyle f(S)}$ een element van ${\displaystyle S}$ is. ${\displaystyle f}$ kiest met andere woorden uit iedere verzameling ${\displaystyle S}$ precies een element.