| http://www.w3.org/ns/prov#value | - The axiom of choice is an axiom usually added to the Zermelo-Fraenkel theory of sets, it states that given a set $I$ and $a_i$, for $i\in I$, non-empty sets there exists a function $f\colon I o \bigcup a_i$ such that $f(i)\in a_i$ such a function is called a choice function since it chooses one element $f(i)$ from each of the sets $a_i$.
|
