the measure of the whole space is equal to one.

The expanded definition is the following: a probability space is a triple consisting of:
* the sample space - an arbitrary non-empty set,
* the ?-algebra (also called ?-field) - a set of subsets of , called events, such that:
** contains the sample space: ,
** is closed under complements: