Is there a name for this ordinal $\omega$, just like its cardinal $\aleph_0$ has a name "aleph null set"?
Whenever I do my assignment about cardinality of sets (not in set theory class), if I want to make my proof precise, I introduce $\omega$ as "the least infinite ordinal" or "the least limit ordinal". I wonder if there is a fancy word like "aleph-null set".