Si, es una operación binaria. Un número entero positivo elevado a otro número entero positivo es un número entero positivo. Solo es hacer unas cuantas multiplicaciones. De números enteros positivos que dan números enteros positivos.
La cerradura de la operación es Z+.
La potenciación en los enteros positivos es una función. A cada par de números le corresponde uno y solo un resultado.
Es que no sé cómo os piden hacerlo, es tan sencillo que no se necesita más creo yo.