Keuzefunctie

Een keuzefunctie (selector, selectie) is een wiskundige functie ${\displaystyle f}$, waarvan het domein ${\displaystyle X}$ een collectie van niet-lege verzamelingen is, zodanig dat voor elke ${\displaystyle S}$ in ${\displaystyle X}$, ${\displaystyle f(S)}$ een element van ${\displaystyle S}$ is. Met andere woorden ${\displaystyle f}$ kiest precies een element uit elke verzameling in ${\displaystyle X}$.