Dado un conjunto ordinario formula_1 que no representa ninguna estructura particular se define la "n"-ésima potencia como la aplicación iterada del producto cartesiano: