Factor map between measure-preserving systems (source code)

= Factor map between measure-preserving systems
{title2=$\varphi_* \mu=\nu,\quad\varphi T=S\varphi$}

= Factor map
{synonym}

A measurable measure-preserving map intertwining the transformations of two probability <measure-preserving systems>. The equalities may be imposed on invariant full-measure domains. It represents the target's observable information inside the source. The <conditional measures of a factor> describe the information remaining on each fiber.