The horseshoe has a Cantor set of invariant points. Its symbolic dynamics are equivalent to the full 2-shift on {0,1}^ℤ — every sequence of symbols corresponds to a unique orbit.
Phase 0: Original Square
The unit square Q is our starting domain. Under the horseshoe map, it will be stretched, folded, and placed back intersecting Q in two strips.