 Factor map between measure-preserving systems

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.