Circulation

Circulation is a hyper-operator \(a \uparrow^\infty b\), defined as \(\lim_{n \rightarrow \infty} a \uparrow^n b\). In order for circulation to have meaning, \(a \uparrow^n b\) must be defined for real b.