On generalizations of Markov's approach to research of block ciphers

For Markov block ciphers, the lumped states of Markov chains based on some partitions of the plaintexts set are considered. It is proved that such lumped states of a Markov chain generated by a sequence of intermediate ciphertexts of the Markov cipher are also a Markov chain.