Measurable cardinal

In mathematics, a cardinal number κ is called measurable iff there exists a κ-additive, non-trivial, 0-1-valued measure on the power set of κ.

Equivalently, κ is measurable if it is the critical point of a non-trivial elementary embedding of the universe V into a transitive class M.