PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] relation as union of functions (Theorem)

Every relation $R$ is a union of functions with the same domain as $R$

This proposition of Doran is equivalent to the Axiom of Choice.

Bibliography

1
R. S. DORAN: ``A Theorem which is Equivalent to the Axiom of Choice''. - Elemente der Mathematik 27 (1972).




"relation as union of functions" is owned by Mathprof. [ owner history (1) ]
(view preamble | get metadata)

View style:

See Also: axiom of choice


This object's parent.

Attachments:
proof that a relation is union of functions if and only if AC (Proof) by ratboy
Log in to rate this entry.
(view current ratings)

Cross-references: proposition, domain, functions, union, relation
There is 1 reference to this entry.

This is version 4 of relation as union of functions, born on 2005-07-19, modified 2006-02-17.
Object id is 7241, canonical name is RelationAsUnionOfFunctions.
Accessed 1999 times total.

Classification:
AMS MSC03E25 (Mathematical logic and foundations :: Set theory :: Axiom of choice and related propositions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)