Mitchell order
In mathematical set theory, the Mitchell order is a well-founded preorder on the set of normal measures on a measurable cardinal κ. It is named for . We say that M ◅ N (this is a strict order) if M is
Measurable cardinal
In mathematics, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal κ, or more generally on any set. For
Normal measure
In set theory, a normal measure is a measure on a measurable cardinal κ such that the equivalence class of the identity function on κ maps to κ itself in the ultrapower construction. Equivalently, if