Definition:State Space of Markov Chain