Si A y B son conjuntos, entonces formula_18, donde x designa el producto cartesiano de los conjuntos, y "·" es el producto de los cardinales definidos por esta fórmula.