Wathematicaアドベントカレンダーの12月3日の記事です． 部分多様体とかを知っている人向けです．定義などはトゥー多様体のものに準拠しています． pdfはこちらから： https://drive.google.com/file/d/13cp2DNYw8croHzZm8whjRekhi7WdoVUL/view?usp=sharing