Solution (source code)

= Solution

A state of an irreducible <continuous-time Markov chain> is transient if, after departure, its return probability is less than one. Equivalently its <jump chain> visits that state only finitely often almost surely. This is a class property.