Embedded submanifold (source code)

= Embedded submanifold
{wiki=Submanifold#Embedded_submanifolds}

An embedded submanifold $M\subseteq N$ is a subset whose inclusion is an embedding. Around every point there are coordinates on $N$ in which $M$ is a coordinate plane.