Positive Harris recurrent Markov chain
= Positive Harris recurrent Markov chain
A Harris recurrent chain visits every measurable set of positive irreducibility measure almost surely. Positive Harris recurrence additionally supplies an invariant probability measure. The <ergodic theorem for a positive Harris recurrent Markov chain> gives consistency of time averages of integrable functions.