AyB tienen la misma cardinalidad si hay una biyección deA aB. Para conjuntos finitosA yB, tenemos\ (\ # (A\ times B) =\ # A\ cdot\ # B). Inclusión-Exclusión:\ (A\ copa B=\ # A+...AyB tienen la misma cardinalidad si hay una biyección deA aB. Para conjuntos finitosA yB, tenemos\ (\ # (A\ times B) =\ # A\ cdot\ # B). Inclusión-Exclusión:\ (A\ copa B=\ # A+\ # B-\ # (A\ cap B)). una unión contable de conjuntos contables es contable; y El conjunto de poderP(A) tiene mayor cardinalidad queA, para cualquier conjuntoA. intervalos(a,b),[a,b],[a,b),(a,b] conjunto de potenciaP(A)
