transfinite

not defined yet