13. teorema Si A,B,C son tres conjuntos entonces: A x B = F Û A = F Ú B = F A x (BUC) = (A x B) U (A x C) Ax (B I C) = (A x B) I (Ax C) Ax(B -C) = (A x B) - (A x C) Operación generalizadas Consideremos un conjunto de índices I={1, 2, 3, & , n} y una familia de conjuntos {A1, A2, & , An}, donde cada Ai con i I, representa un conjunto. Al conjunto {A1, A2, & , An} lo llamaremos Familia Indizada de conjuntos; y lo denotaremos {Ai} n.
14. partición Sea X un conjunto y {Ai}iÎ I una familia de subconjuntos de X. Se dice que {Ai}iÎ I es una partición de X, si y sólo si: Cada Ai es una celda o bloque de la partición, es decir, una partición es una familia {Ai}iÎ I donde cada conjunto de la familia es no-vacío, la intersección entre dos miembros de la familia es vacía y la unión de todos los miembros da X. cardinalidad Diremos que un conjunto A es finito si A tiene n elemento, para algún número natural n, es decir, un conjunto es finito si se pueden contar sus elementos. En caso contrario se dice que es infinito.