前述の通り、この場合の部分多様体に入る位相は "m" からの相対位相でなくてもよい。