How is definition of axiom of choice involving indexed family equivalent to the definition involving cartesian product?
20252
The Axiom of Choice and the Cartesian Product.
9651
Cardinality of cartesian product of an infinite set with N
950
Doubts on the axiom of union?
104771
Dedekind's cut and axioms
29744
Compactness and axiomatisability
21374
What is exactly the difference between a definition and an axiom?
81509
The cardinality of a countable union of countable sets, without the axiom of choice
35123
How do the separation axioms follow from the replacement axioms?
144899
Do We Need the Axiom of Choice for Finite Sets?
147908
Why use the biconditional in the Axiom of Extensionality
84780
Cartesian products as sets of all functions.
34045
3 Statements of axiom of choice are equivalent
102383
Associativity of Cartesian Product
126862
Confused about $x \notin x$ example in Axiom of Specification
118189
Proving the pairing axiom from the rest of ZF
65308
Axiom of Choice: Family of non-empty sets mutually disjoint or not?
118560
Ordered N-Tuples as Cartesian Products of Indexed Families