ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4551 on D2827: Measure-preserving system
Expressing a finite composition of indicator function and measure-preserving transformation in terms of set cardinality