DSダイアグラム
DSダイアグラム ( G , f , P ) {\displaystyle (G,f,P)} に対し、 f : S 2 → P {\displaystyle f:S^{2}\rightarrow P} の定義域を B 3 {\displaystyle B^{3}} に自然に拡張することで、一つの閉3次元多様体 B 3 / f {\displaystyle B^{3}/f} が対応する。