>>201 確かにそうですね。例えばM=m次元ディスク×Rをm+1次元多様体
としてK=m次元ディスク×[0,1]とすると
KはMの部分多様体であって、境界はK×{0}とK×{1}になりますね。