Taken literally, the above definition is an application of the recursion theorem on the partially ordered set N2.
Manut ring harfiah, teges ring ajeng punika pamargi teorema rekursi ring himpunan maririgan ring atenga saking N2.