Definition
Sei
ein messbarer Raum. Sei
eine Markow-Kette auf dem Zustandsraum
mit Übergangskern
. Dann heißt
Harris-Kette, falls es Mengen
, ein
und ein Wahrscheinlichkeitsmaß
auf
mit
existieren, so dass gilt:
- Für alle
gilt
und
- für alle
und alle messbaren
gilt 
Dabei bezeichnet
den ersten Eintrittszeitpunkt der Kette in die Menge
.