Ergodic theorems in dynamic imprecise probability kinematics

We formulate an ergodic theory for the limit $\mathcal{P}^\text{co}_{\tilde{\mathcal{E}}}$ of a sequence $(\mathcal{P}^\text{co}_{\mathcal{E}_n})$ of successive dynamic imprecise probability kinematics (DIPK, introduced in \cite{prob.kin}) updates of a set $\mathcal{P}^\text{co}$ representing the initial beliefs of an agent. As a consequence, we formulate a strong law of large numbers.