Definition:Non-Denumerable Class