2. Producto cartesiano
Un par ordenado es una colección de dos objetos
distinguidos como primero y segundo, y se denota
como (a, b), donde a es el primer elemento y b el segundo
elemento. Dados dos conjuntos A y B, su producto
cartesiano es el conjunto de todos los pares ordenados que
pueden formarse con estos dos conjuntos:
El producto cartesiano de A y B es el
conjunto A × B cuyos elementos son los pares
ordenados (a, b), donde a es un elemento de A y b un elemento
de B:
3. Generalizaciones.
Caso finito:
Dado un número finito de conjuntos A1, A2, ..., An, su producto cartesiano se
define como el conjunto de n-tuplas cuyo primer elemento está en A1, cuyo
segundo elemento está en A2, etc.
Puede definirse entonces potencias cartesianas de orden superior a 2,
como A3 = A × A × A, etc. Dependiendo de la definición de n-tupla que se
adopte, esta generalización puede construirse a partir de la definición básica
como:
4. Caso infinito:
En el caso de una familia de conjuntos arbitraria
(posiblemente infinita), la manera de definir el producto
cartesiano consiste en cambiar el concepto de tupla por otro
más cómodo. Si la familia está indexada, una aplicación que
recorra el conjunto índice es el objeto que distingue quién es la
«entrada k-ésima»