. The requirements for a
set function \mu to be a probability measure on a
σ-algebra are that: • \mu must take values in the
unit interval [0, 1], including 0 on the empty set and 1 on the entire space. • \mu must satisfy the
countable additivity property that for all
countable collections E_1, E_2, \ldots of pairwise
disjoint sets: \mu\left(\bigcup_{i \in \N} E_i\right) = \sum_{i \in \N} \mu(E_i). For example, given three elements 1, 2 and 3 with probabilities 1/4, 1/4 and 1/2, the value assigned to \{1, 3\} is 1/4 + 1/2 = 3/4, as in the diagram on the right. The
conditional probability based on the intersection of events defined as: \mu (B \mid A) = \frac{\mu(A \cap B)}{\mu(A)}. satisfies the probability function requirements so long as \mu(A) is not zero. Probability measures are distinct from the more general notion of
fuzzy measures in which there is no requirement that the fuzzy values sum up to 1, and the additive property is replaced by an order relation based on
set inclusion. ==Example applications==