Omega-measurable cardinal ($\omega \text{-measurable}$)

A cardinal is omega-measurable if it carries a countably complete ultrafilter that is a nonprincipal ultrafilter. Countable completeness rules out countable underlying sets. Such a measure is weaker than the cardinal's own full completeness requirement, but the least omega-measurable cardinal is measurable.

If $\kappa$ is the least omega-measurable cardinal and $U$ witnesses it, failure of $\kappa$-completeness partitions a member of $U$ into fewer than $\kappa$ fibres, none belonging to $U$. The pushforward ultrafilter under the fibre-index map is then a nonprincipal countably complete measure on a smaller cardinal, a contradiction. Thus $U$ is $\kappa$-complete and $\kappa$ is a measurable cardinal.