Taken literally, the above definition is an application of the recursion theorem on the partially ordered set N2.
Adakal wan taɣare, aliɣi wa ilan sider eqal igitan ən tekanite tan asimuduɣil fal dǎɣ tartite nafala toɣadat N2.