Заглянул в тему "Теорема Пуанкаре о возвращении". Оттуда сразу в википедию, там такая формулировка:
Пусть

- сохраняющее меру преобразование пространства с конечной мерой

и пусть

- измеримое множество. Тогда для некоторого натурального


Что означает

, множество

, или просто

для некоторого

? (Мне почему-то больше нравится второе)
И еще, можно ли показать на простом примере, что такое фазовое среднее динамической системы?