3.2.2 irreducible M.C.

A M.C. which contains one and only one closed set of states. Note that for finite MC, this means all the states are recurrent. In otherwords, its state space contains no proper subset that is closed.