A D1109: Measurable set $E \in \mathcal{F}$ is

**stationary**in $M$ if and only if \begin{equation} T^{-1}(E) = E \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

▾ Power set

▾ Hyperpower set sequence

▾ Hyperpower set

▾ Hypersubset

▾ Subset algebra

▾ Subset structure

▾ Measurable space

▾ Measure space

▾ Measure-preserving endomorphism

▾ Measure-preserving system

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

▾ Power set

▾ Hyperpower set sequence

▾ Hyperpower set

▾ Hypersubset

▾ Subset algebra

▾ Subset structure

▾ Measurable space

▾ Measure space

▾ Measure-preserving endomorphism

▾ Measure-preserving system

Formulation 0

Let $M = (X, \mathcal{F}, \mu, T)$ be a D2827: Measure-preserving system.

A D1109: Measurable set $E \in \mathcal{F}$ is**stationary** in $M$ if and only if
\begin{equation}
T^{-1}(E) = E
\end{equation}

A D1109: Measurable set $E \in \mathcal{F}$ is

Child definitions

Results