ThmDex – An index of mathematical definitions, results, and conjectures.
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
Definition D2827
Measure-preserving system
Formulation 0
A D3115: Measure space endosystem $S = (X, \mathcal{F}, \mu, T)$ is a measure-preserving system if and only if $T$ is a D2940: Measure-preserving endomorphism on $M$.
Children
D5569: Almost stationary measurable map
D2839: Probability-preserving system
D2841: Stationary measurable set