Inextendible embedded surface (source code)

= Inextendible embedded surface

An embedded <smooth surface> $S\subset\mathbb R^3$ is inextendible when every connected smooth surface $\widetilde S\subset\mathbb R^3$ containing $S$ is equal to $S$.