Localization of relative almost periodicity to base sets (source code)

= Localization of relative almost periodicity to base sets
{title2=$f\,\mathbf1_C\circ\varphi$}

Multiplying a <relatively almost periodic observable> by a base-set indicator preserves <relative almost periodicity>: on each fiber an orbit value is either unchanged or zero, so add zero to the finite list of centers. <Conditional norm covariance under a factor map> also proves closure under convergence in the <uniform conditional L2 norm>.