Iterated multiple points I: functoriality, defining equations and pathologies

This is the first of a two-part work on Kleiman’s iterated multiple point spaces. We show general properties of these spaces, leading to explicit equations describing them for maps (of any corank) between complex manifolds. We also describe pathologies regarding dimension and lack of symmetry