 Simplicial approximation theorem

After sufficiently subdividing the domain, every continuous map between geometric realizations of simplicial complexes is homotopic to a simplicial map. Relative and based forms preserve a specified subcomplex or basepoint.