 Positive-measure almost periodic indicator in a compact extension

Approximate $1_A$ by relative almost periodic functions with summable squared global errors. Tonelli theorem makes their conditional errors tend to zero almost everywhere. Choose a positive base set on which the conditional mass of $A$ is bounded below, then use the Egorov theorem to make those errors uniform on a smaller positive set $C$. Localization of relative almost periodicity to base sets and conditional-norm closure prove $1_B$ is relatively almost periodic and $\mu (B)>0$.