== Consequences ==The Power Set Axiom allows a simple definition of the Cartesian product of two sets formula_5 and formula_6::formula_7Notice that:formula_8:formula_9:formula_10and thus the Cartesian product is a set since:formula_11One may define the Cartesian product of any finite collection of sets recursively::formula_12Note that the existence of the Cartesian product can be proved without using the power set axiom, as in the case of the Kripke–Platek set theory.
== Conseguenze ==L'assioma dell'insieme potenza permette la definizione del prodotto cartesiano di due insiemi formula_6 e formula_7::formula_8Il prodotto cartesiano è un insieme dal momento che:formula_9Si può definire il prodotto cartesiano di ogni collezione finita di insiemi ricorsivamente::formula_10