In model theory, a definable set in a structure is a set of tuples specified by a first-order formula, with parameters from a stated
parameter set. Boolean operations on such sets correspond to logical combinations
of formulas. A Keisler
measure is a finitely additive probability
measure on this Boolean algebra.
