Sniffnoy comments on Stupid Questions Open Thread Round 2

[Sniffnoy]

I mean closed downwardly—if one is computable, then so is any smaller one. (And so the Church-Kleene ordinal is the set of all computable ordinals.)