Операция степени n, определённая на каком-либо множестве - это функциональное соответствие между прямым произведением множества на себя n раз и самим множеством

К примеру, сложение - это бинарная операция, там n=2

Тогда 2 вопроса к тебе, Вадик: что такое прямое произведение множества на себя и что такое соответствие между множествами?