finiteness

not defined yet