Factor map between measure-preserving systems
= 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.