infiniteness

not defined yet