superfiniteness

not defined yet