[0TQ]Se (M1,d1) è completo allora la sua immagine 𝜑(M1) è un insieme completo in M2; e dunque è un chiuso in M2.
[0TR]↺↻
[ [0TS]↺↻]