Conley index for discrete multi-valued dynamical systems

The definitions of isolating block, index pair, and the Conley index, together with the proof of homotopy and additivity properties of the index are generalized for discrete multi-valued dynamical systems. That generalization provides a theoretical background of numerical computation used by Mischaikow and Mrozek in their computer assisted proof of chaos in the Lorenz equations, where finitely represented multi-valued mappings appear as a tool for discretization.