Join of measurable partitions ($\xi \vee \eta$)

The join is the common refinement of two measurable partitions, with atoms given by their nonempty intersections. For a measure-preserving transformation, the block partition is ${\xi }_0^{n-1}={\bigvee }_{j=0}^{n-1}{T}^{-j}\xi$.