Dados conjuntos , con , usaremos para denotar el producto Cartesiano de , es decir el conjunto formado por todas las -uplas tales que . Si , con , entonces escribiremos en lugar de . Para , definimos , es decir . Usaremos para denotar la unica -upla. Definimos entonces . Si es un conjunto denotaremos con al conjunto formado por todas las infinituplas tales que para cada . Por ejemplo donde es una forma intuitiva de denotar la infinitupla cuyo -esimo elemento es el numero natural .
Si es una infinitupla de conjuntos, entonces usaremos o para denotar al conjunto