 Harris recurrent Markov chain

A phi-irreducible Markov chain is Harris recurrent when every set of positive irreducibility measure is hit almost surely from every state. With an invariant probability, it becomes a positive Harris recurrent Markov chain.