グロモフ・ハウスドルフ収束
M(m , c , D) を直径が高々D でリッチ曲率が下からc で抑えられるようなm 次元完備リーマン多様体(の同型類)全体とする。このとき M(m , c , D) はグロモフハウスドルフ空間の中で全有界(言い換えると閉包がコンパクト)。