axioma de elección
Dado un conjunto existe un conjunto compuesto exactamente por un representante de cada uno de los elementos (no vacíos) del conjunto inicial. Más precisamente, existe una función f, tal que, si α es el conjunto dado y β ∈ α, tenemos f(β) ∈ β.
La función de elección existe, pero no puede ser mostrada en general (o construida). La elección es por lo tanto ilegal (no hay regla explícita de elección) y anónima (no hay discernibilidad en cuanto a lo elegido).
Este axioma es el esquema ontológico de la intervención, pero sin acontecimiento. Se trata del ser de la intervención, no de su acto.
El axioma de elección, por una inversión significativa de su ilegalidad equivale al principio de orden maximal: todo conjunto puede ser bien ordenado.
(El ser y el acontecimiento: diccionario final de la edición argentina en edit. manantial)
