Si formula_4 es un lenguaje formal, entonces la formula_5-ésima potencia de formula_4 es la abreviatura de la concatenación de formula_4 consigo mismo formula_5 veces.