Definition:Denumerable Class