Gromov–Hausdorff convergence of metric pairs and metric tuples

We study the Gromov–Hausdorff convergence of metric pairs and metric tuples and prove the equivalence of different natural definitions of this concept. We also prove embedding, completeness and compactness theorems in this setting. Finally, we get a relative version of Fukaya's theorem about quotient spaces under Gromov–Hausdorff equivariant convergence and a version of Grove–Petersen–Wu's finiteness theorem for stratified spaces.