Definition

where is HMC that has countable state space

The conditional probability of the Transition from state to

Facts