Measurable cardinal (source code)

= Measurable cardinal
{wiki}

An uncountable cardinal $\kappa$ is measurable when it carries a nonprincipal $\kappa$-complete ultrafilter.