\sqrt[x]{a}\longmapsto x\in\textbf{N}\,\land\, a^{1/x}