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