if , then also ,
** is closed under countable unions: if for , then also
*** The corollary from the previous two properties and De Morgan's law is that is also closed under countable intersections: if for , then also
* the probability measure - a function on such that:
** P is countably additive