Definition
$$ T_i^+=\inf\{n\ge 1:X_n=i\} $$Meaning: Departure from state $i$ and return to $i$ for the first time and return to $i$ for the first time
$n$ is enforced to be non-zero to exclude trivial case of $X_0=i\Rightarrow T_i=0$.
DOCUMENT NODE
Meaning: Departure from state $i$ and return to $i$ for the first time and return to $i$ for the first time
$n$ is enforced to be non-zero to exclude trivial case of $X_0=i\Rightarrow T_i=0$.