In set theory, a normal measure is a measure on a measurable cardinal itself in the ultrapower.) Also equivalent, the ultrafilter (set of sets with measure 1) is closed under diagonal intersection.

, any closed unbounded.

has a measure on it, then it has a normal measure on it.

References

• pp 52–53