状態空間が連結類ならば、マルコフ連鎖は既約(または可約でない:irreducible)という。