It is equivalent to the statement that for any two cardinal numbers K and L, either K is less than or equal to L, or L is less than or equal to K.
It is equivalent to the statement that for any two cardinal numbers K and L, either K is less than or equal to L, or L is less than or equal to K. It is also equivalent to the well-ordering theorem and Zorn's lemma. For any relation R, there is a function, F, in R with the domain of F equal to the domain of R; in other words, the Cartesian product of  nonempty sets is always nonempty. FTP, identify this axiom from set theory that states that for any nonempty set A with disjoint members, there exists a subset C containing exactly one element from each member of A.
It is equivalent to the statement that for any two cardinal numbers K and L, either K is less than or equal to L, or L is less than or equal to K.
axiom of {choice}