テトレーションとは、冪乗の次となる4番目のハイパー演算である。つまり、自らの冪乗を指定された回数反復する二項演算である。超冪（ちょうべき）ともいう。テトレーションという語はによって、「4」を意味する接頭辞 tetra- と「繰り返し」を意味する iteration から作り出された。

定義 
任意の正の実数  および非負整数  に対し、次のようにテトレーション  を再帰的に定める。

冪乗の演算が右結合、すなわち  のように積みあがった指数の上側から計算していくように、テトレーションの計算も  に対する  の部分から計算していく。

定義から直ちに、次の等式が成り立つ。

 と  が互いに素であるとき、 の最後の  桁がオイラーの定理から求められる。

表記 
テトレーションには多数の表記が存在する。テトレーションに使われる表記の中にはペンテーションやヘキセーションなど、より高次のハイパー演算の表記にも使用できるものもいくつかある。

{|class="wikitable"
! 名称
! 表記
! 説明
|-
| ルーディ・ラッカーの表記
| 
| マウラーとによって導入され、ルーディ・ラッカーの『』で広まった。
|-
| クヌースの矢印表記
| 
| 矢印または添字を増やすことで拡張できる。
|-
| コンウェイのチェーン表記
| 
| 数字を増やす、またはチェーンを拡張することで拡張できる。
|-
| アッカーマン関数
| 
| 底が  のときに限り、アッカーマン関数による表記が可能。
|-
| 指数関数の反復合成による表示
| 
| 右辺の表記に関しては後述。
|-
| フーシュマンドの表記
| 
| フーシュマンドの論文では「ultra power」（超冪）と書かれている。
|-
| ハイパー演算子表記
| 
| 数字を増やすことで拡張でき、一連のハイパー演算子を与える。
|-
| ASCII表記
| a^^n
| ASCII文字で表現する際、冪乗をキャレット^で表すことから。
|-
| バウアーズの配列表記
| 
| 拡張配列表記へと一般化でき、さらにBEAFおよびバードの配列表記へと一般化される。
|}

反復指数関数 
反復指数関数、あるいは反復冪とは指数関数の反復合成、あるいはその類似の関数およびその値を指して呼ばれる関数である。以降で表記を簡単にするため、非負整数  と正実数  の2つのパラメータを持つ実関数  を次のように定義する：
 （個の  の上に  が乗っている）

この関数は他に次のような表記で書かれる。
{| class="wikitable"
! 名称
! 表記
! 説明
|-
| （指数の反復合成）
| 
| 指数関数の表記  はオイラーによる。
|-
| クヌースの矢印表記
| 
| 矢印の数を増やすことで拡張できる。:en:Large numbersを参照。
|-
| ガリダキスの表記
| 
| 底の表記が小さくならない。
|-
| ASCII表記
| 
| 標準的な表記をベースにASCII文字のみを使用した表記。
|-
| J言語表記
| 
|
|}

例 
以下の表では、大部分の値が指数表記による表記すら困難なほど巨大であるため、それらの表記には底を  とした反復指数関数を用いた。なお小数部を持つ値はすべて近似値である。

{| class="wikitable"
! 
! 
! 
! 
|- align=right
| 1
| 1 (11)
| 1 (11)
| 1 (11)
|- align=right
| 2
| 4 (22)
| 16 (24)
| 65,536 (216)
|- align=right
| 3
| 27 (33)
| 7,625,597,484,987 (327)
| 1.258015 × 103,638,334,640,024
|- align=right
| 4
| 256 (44)
| 1.34078 ×10154 (4256)
|  (8.1 × 10153 桁)
|- align=right
| 5
| 3,125 (55)
| 1.91101 × 102,184 (53,125)
|  (1.3 × 102,184 桁)
|- align=right
| 6
| 46,656 (66)
| 2.65912 × 1036,305 (646,656)
|  (2.1 × 1036,305 桁)
|- align=right
| 7
| 823,543 (77)
| 3.75982 × 10695,974 (7823,543)
|  (3.2 × 10695,974 桁)
|- align=right
| 8
| 16,777,216 (88)
| 6.01452 × 1015,151,335
|  (5.4 × 1015,151,335 桁)
|- align=right
| 9
| 387,420,489 (99)
| 4.28125 × 10369,693,099
|  (4.1 × 10369,693,099 桁)
|- align=right
| 10
| 10,000,000,000 (1010)
| 1010,000,000,000
|  (1010,000,000,000 桁)
|}

微積分 
テトレーション  に対する  は正の実数に対して定義できるので、 を固定したときにそれぞれ微分と積分が定義できる。

高さが定数の微分 
任意の正の整数  に対し、  の微分は次のようになる。

高さが定数の積分 

、  の  から  までの定積分は二年生の夢と呼ばれる。

任意の正の整数  に対し、 の不定積分は次のようになる。

ここで  は

で与えられる有理数であり、  は第2種不完全ガンマ関数を用いて

で与えられる。

拡張 
テトレーションは、高さが正の整数以外の場合に拡張できる。

底が 
0の0乗が単純には定義できないため、  は直接定義できないが、極限が

と収束するため、

と定義する。（ここで、、 はそれぞれ偶数、奇数の集合を表す。）

なお、ここで  が一意に決まらないにもかかわらず  が定義できるのは、  の  と  が等しいという条件下で極限を取ったからである。

底が複素数 

複素数の累乗が可能なことから、テトレーションは複素数の底に対しても定義できる。

例えばテトレーション  は対数関数の主枝を用いて定められる。このときオイラーの公式から次の式が得られる。

従って任意の  に対して  が次のように再帰的に定義できる。

ここから以下の近似値が導かれる。
{|class="wikitable"
! 
! 近似値
|-
|
|
|-
| 
|
|-
|
|
|-
|
|
|-
|
|
|-
|
|
|-
|
|
|-
|
|
|-
|
|
|}

同様に値を逆向きに求めていくことで 、  が得られる。  の値を複素平面上にプロットすると、点列は渦巻状に極限値  へと近づく。この値は  のときと解釈できる。

このようなテトレーションの列に関する研究はオイラーの時代から続けられてきているものの、そのカオス的な振る舞いのために不明な所が多い。これまでに発表された研究のほとんどは、無限反復指数関数の収束について焦点を当てたものである。現在の研究は高性能のコンピュータを用いたフラクタルと数式処理システムの出現に大きな恩恵を受けている。テトレーションについて分かっていることの多くは、複素力学系の一般的な知識と、指数写像の専門的な研究によるものである。

高さが無限大 

ある範囲の底  に対して  は有限の値に収束するので、この範囲においてテトレーションは高さ無限大の場合へ拡張できる。例えば  は収束して、その値は  であるから、  であると言える。

一般に無限反復指数関数  は、  が無限大に向かうときの  の極限として定義される。これが  （およそ  から）の範囲で収束することはオイラーによって示された。

極限値  が存在するとき、これは方程式

を満たす正の実数に等しい。

式(1)より  であり、このとき右辺の最大値が  であることから、  については極限値が存在しないことがわかる。また  は  の逆関数（の分岐の下部）であることがわかる。

式(1)から、極限値  をランベルトのW関数  を用いて次のように定義することで複素数の底  に対しても拡張される。

高さが非正 
定義より

が成り立つので、この関係を  に対しても帰納的に拡張し

と定義する。

ただし、定義できるのは  までで、 が存在しないため  に対しては定義できず、従って  に対して拡張できない。

高さが実数 
テトレーションを高さ実数または複素数へ拡張する、という一般的な問題への広く受け入れられた解答は今のところ存在しない。いくつかのアプローチについて以下で述べる。

一般にこの問題は任意の実数  に対し、実数  で定義され、次の条件を満たす超指数関数  を求めるものである。
、 
任意の実数  に対し 
 三つ目の条件は通常次の中のどれかである。
 連続性（通常は  における 、  についての連続性）
 微分可能性（についての 、 、  回または無限回微分可能性）
 正則性（についての  階微分可能性を含む）
 任意の実数  に対して

が成立する。
三つ目の条件は著者およびアプローチによって異なる。実数高さへの拡張には二つの主要なアプローチが存在し、一つは正則性、もう一つは微分可能性に基づいたものである。これらの二つのアプローチは、相反する結果を導くことから互いに大きく異なるとされ、調和は難しいと考えられている。

長さ  の区間で  が定義されれば、任意の  に対し容易に拡張される。

一次近似 

一次近似（連続性のもと微分可能性を近似）は次のように与えられる。

ゆえに
{| class="wikitable"
! 近似
! 定義域
|-
| 
| 
|-
| 
| 
|-
| 
| 
|-
| 
| 
|}
と以下続く。但しこの微分可能性はあくまで区分的なものである。整数  を境に微分係数が  倍されるため、（の場合を除いて）整数  において微分不可能となる。

以下は値の計算例である。

Ultra exponential function 
フーシュマンドは ultra exponential function という関数を導入した。
これはテトレーションの一次近似を表し、  と表記される。  は、次の定理によって一意に定められる。

証明は、三番目から五番目の条件より  が  で線型となることから従う。

フーシュマンドはさらに次のような一意性定理を導いた。

証明は先とほぼ同様である。漸化式より  となること、三番目の条件より  が  で線型となることから従う。

定理より、  に対し  および  であって、かつ  で下に凸であるような関数  は唯一  のみである。 が十分微分可能であるためには  で極値を持つ必要がある。

より高次の近似 

（微分可能性についての）二次近似は次のように与えられる。

これは任意の  について微分可能であるが二階微分可能でない。 のときこれは一次近似に等しくなる。

三次近似および高次への一般化は次のように与えられる。

高さが複素数 

次の条件を満たす関数  が一意に定まる事が証明されている 。

 のとき  が対数関数の不動点（およそ）に近づく
実数  を除く複素平面全域で正則

この関数  を右図に示す。また、底が e ではない場合についても、底がよりも大きい場合については同様に証明されている。倍精度浮動小数点数近似はオンラインで公開されている。

一意性 
テトレーションを一意に定めるためには正則性の条件が重要となる。いま、関数  に対し関数  を次のように構成する。

ここで 、  は十分速く減衰する実数列であり、少なくとも実軸の近くで 、  を収束させるとする。

この関数  は  と同様に最初の二つの条件 、  を満たす。また 、  が十分速く  に近づくとき、 は正の実軸近傍で解析的となる。しかし 、  が全て  でない場合、 は新たに大量の特異点と不連続線を複素平面上に持つことになる。これは 、  が虚軸に沿って指数関数的に増大するためである。これらの特異点は 、  が小さければ小さいほど実軸から離れていくため、  が正則であるためには全ての 、  が となる、即ち  であればよい。

実解析上のテトレーションは一意的に定まらないので、複素平面への拡張は一意性に必要である。

未解決問題 
 ,  が整数になるような正の整数  は存在するか。特に  は整数か。
 与えられた自然数とに対し、は整数か。 特に  の正の解  は有理数か。

逆関係 
冪は冪根と対数の二つの逆関係を持つ。これに倣って、以下テトレーションの逆関係をそれぞれ超冪根とと呼ぶ。

超冪根 
超冪根はテトレーションの底に関する逆関係である。

超平方根 

超平方根は  の逆であり、二つの等価な表記 ,  を持つ。

この関数は次のようなランベルトのW関数による表示を持つ。

またこの関数により、冪根と対数の間の鏡映的な関係が表れる。次の方程式は  のときに真となる。
 

平方根と同様に超平方根は一つとは限らない。ただし、平方根と異なり超平方根の個数を決定するのは容易とは言えない。一般に、 のとき  は二つの正の超平方根を 0 と 1 の間に持ち、 のとき  は 1 より大きい一つの正の超平方根を持ち、 のとき  は超平方根を実数の範囲で持たない。しかし上の式より、任意の  は可算無限個の超平方根を複素数の範囲で持つことが従う。

超平方根はネットワークのクラスタサイズを決定するのに使用される。

その他の超冪根 
任意の整数  に対して  は定義され、 のとき増加となり  を満たす。従って  のとき  は存在する。しかし上述した一次近似を用いた場合、 のとき  は  によらず  となり、従ってこの場合  は存在しない。

超平方根のほか  次の超冪根も同様の記号を用いて  と表すことができる。

超冪根は高さが無限大の場合へと拡張することができ、これは  の場合に限り問題なく定義される（#高さが無限大を参照）。 が存在するとき  が成り立つことから、無限次の超冪根は初等関数によって  と表すことができる。例えば  となる。

 を任意の正の整数とするとゲルフォント＝シュナイダーの定理より、超平方根  は整数または超越数となり、超立方根  は整数または無理数（これが超越数かどうかは知られていない）となる。

超対数 
超対数はテトレーションの高さに関する逆関係である。

テトレーション  を  に関して連続的に増加するものとして定義すると、任意の実数  に対し超対数  が定義される。

この関数  は以下の式を満たす。

さらなる拡張 
テトレーションはという風に拡張できる。そしてテトレーションの回数を数え上げるペンテーションを定義することができ、と表せる。

同じようにヘキセーションも定義できる。この拡張を一般化してクヌースの矢印表記ができる。

またテトレーションはハイパーE表記でと書ける。