La potencia de un conjunto es un conjunto definido a partir de las propiedades del producto cartesiano.