The set of Universes is an infinite(?) set of infinite ordered lists made up of numeric binary functions. It is, as can be seen by its name, made up of universes. A single universe is written as the 
-Universe. Formally, the function that produces the universe is:
![{\displaystyle \delta _{F}=(P[0],P[1],P[2],...,P[n],P[n+1],...,P[\infty ]),P[0]=F,P[n](a,b)=p[n-1,a](R(D(b))*-1)\left\{L(b)\right\}(p[n-1,a]\left\{L(b)\right\}(a))}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/948a6c6e1db1f8e5e07d9fee684ba8cee3451b21)
with the following definitions:
=P[n](x,a)}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/fbb2fea1030eb6cf3fffae26d134cd76a3ec3d5f)
we can assign a special symbol for the function of each universe, using ![{\displaystyle \varsigma _{F}[n]}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/dad21c6c95d123c7c45d602f90fd77a079246478)
for ![{\displaystyle P[n]}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/eff8d292ead573931ce261227d00b70517137a2c)
of 
. these are highly related with hyperoperation's(infact, ![{\displaystyle \varsigma _{T}[n]=a[n+1]}](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/3061d9b7f8859cae843a1eea5761e7610dc02756)
with 
. one could theoretically convert universes to non numerics, but im too lazy to do that. Note that }](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/4dd66852229cc3fd3c21b25fe98eec0aca7c75a9)
is always bijective, for any case of .