denumerability

not defined yet