onthesubsystemsoftopologicalMarkovchains