ω-bounded
   HOME