Outer approximations present a way to conclude rigorous results about the dynamics of a continuous function f : X → X using combinatorial algorithms. In particular, information about the dynamics is captured by a lattice ...