让成为链接在里面让我们有一个磁盘 在中链接补码 然后是一个曲面这样的话 相交 正好在它的边界内，而它的边界不约束另一个上的磁盘称为可压缩表面（Adams 1994，第86页）。
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“可压缩表面。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/CompressibleSurface.html
