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 
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}