フォーマルに言えば、可微分多様体は大域的に定義されたを持つ位相多様体である.
位相多様体