Jump to navigation Jump to search
Let $S$ be a set.
- The Well-Ordering Theorem, which states that every set $S$ is well-orderable.
- The Axiom of Choice, which states that every set of sets can have a choice function associated with it.
- The Well-Ordering Theorem is Equivalent to Axiom of Choice — assuming the truth of one, you can prove the other.