of Moreover, any convex combination of two invariant measures is also invariant, so is a convex set; consists precisely of the extreme points of

In the case of a dynamical system where is a measurable space as before, is a monoid and is the flow map, a measure on is said to be an invariant measure if it is an invariant measure for each map Explicitly,