nondenumerable

not defined yet