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).