We consider the mapping
that assigns to a four tuple ( a , b , c , d ) {\displaystyle {}(a,b,c,d)} the four-tuple
We denote by Ψ n {\displaystyle {}\Psi ^{n}} the n {\displaystyle {}n} -th fold composition of Ψ {\displaystyle {}\Psi } with itself.
until the result is the zero-tuple ( 0 , 0 , 0 , 0 ) {\displaystyle {}(0,0,0,0)} .