relation as union of functions
Every relation is a union of functions with the same domain as .
This proposition of Doran is equivalent
(http://planetmath.org/Equivalent3) to the Axiom of Choice
(http://planetmath.org/AxiomOfChoice).
References
- 1 R. S. Doran: “A Theorem which is Equivalent to the Axiom of Choice”. – Elemente der Mathematik 27 (1972).