1.2 Producto carteciano

Dados conjuntos A1,...,An, con n2, usaremos A1×...×An para denotar el producto Cartesiano de A1,...,An, es decir el conjunto formado por todas las n-uplas (a1,...,an) tales que a1A1,...,anAn. Si A1=...=An=A, con n2, entonces escribiremos An en lugar de A1×...×An. Para n=1, definimos An=A, es decir A1=A. Usaremos para denotar la unica 0-upla. Definimos entonces A0={}. Si A es un conjunto denotaremos con AN al conjunto formado por todas las infinituplas (a1,a2,...) tales que aiA para cada iN. Por ejemplo (1,2,3,4,...)ωN donde (1,2,3,4,...) es una forma intuitiva de denotar la infinitupla cuyo i-esimo elemento es el numero natural i.

Si (A1,A2,...) es una infinitupla de conjuntos, entonces usaremos i=1Ai o i1Ai para denotar al conjunto {a:aAi, para algun iN}