Overview
Traditional Axiom
Every family of non-empty sets has a choice function
where a choice function is a function on a family of sets {% S %} where
{% f(X) \in X %}
Well Ordering
Sometimes the axiom of choice is stated using the concept of a well ordering.
{% \forall A \exists R (R \; well \; orders \; A) %}